Class(class)![]() ![]() ![]() ![]() | ![]() | brand, categorial, categoric, categorical, categorisation, categorization, category, class, classification, color, colour, connotation, denomination, description, family, form, genus, histocompatibility_complex, intension, kind, kingdom, like, make, manner, nature, paradigm, pigeonhole, rubric, sort, species, stamp, stripe, style, substitution_class, the_like, the_likes_of, trichotomy, variety, way |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1806-1810 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2051-2059 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10650-10650 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10649-10649 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10652-10652 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10651-10651 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10648-10648 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10647-10647 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9960-9960 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10654-10654 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10646-10646 |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1685-1685 | The range of attr is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1671-1671 | The range of extension is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5302-5302 | The range of kappa is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8861-8861 | Biological species is a subclass of class |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 886-886 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 979-979 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1696-1696 | The number 1 argument of TTFx is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 567-567 | The number 1 argument of disjoint decomposition is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 568-568 | The number 2 argument of disjoint decomposition is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 549-549 | The number 1 argument of exhaustive decomposition is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 550-550 | The number 2 argument of exhaustive decomposition is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 583-583 | The number 1 argument of partition is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 584-584 | The number 2 argument of partition is an instance of class |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4731-4731 | The number 1 argument of total is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1203-1203 | The number 2 argument of total facility type in area is an instance of class |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2042-2042 | Set or class is exhaustively partitioned into set and class |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 794-796 | A set or class is an instance of class if and only if the set or class is a subclass of entity |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 182-197 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 575-579 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 559-563 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2240-2247 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2249-2258 |
|
![]() |
![]() |