I (IS-A) C (Contr) F (Form) = ICF+ - a derived taxonomic relation with wonderful properties. other ICF+ designation: icf. ICF+ taxonomies are used in knowledge representation for NLP and vectorization in neural networks.