more pictures...
| Class(class)
more pictures... | | 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 2046-2054 | |
| 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 1680-1680 | The range of attr is an instance of class |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1666-1666 | The range of extension is an instance of class |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5292-5292 | The range of kappa is an instance of class |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8859-8859 | 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 1694-1694 | The number 1 argument of TTFx is an instance of class |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 566-566 | 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 567-567 | 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 548-548 | 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 549-549 | 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 582-582 | The number 1 argument of partition is an instance of class |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 583-583 | The number 2 argument of partition is an instance of class |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4729-4729 | 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 2037-2037 | Set or class is exhaustively partitioned into set and class |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 793-795 | 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 574-578 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 558-562 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2238-2245 |
|
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2247-2256 |
|
|
|
|