Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Class
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 2086-2094
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10639-10639
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10638-10638
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10641-10641
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10640-10640
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10637-10637
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10636-10636
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9950-9950
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10643-10643
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10635-10635
No TPTP formula. May not be expressible in strict first order. Merge.kif 2084-2084 Class is a subclass of set or class

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1710-1710 The range of extension is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5492-5492 The range of kappa is an instance 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 974-974

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1697-1697 The number 1 argument of TTFx is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 3511-3511 The number 2 argument of closed on is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 395-395 The number 1 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 396-396 The number 2 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 568-568 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 569-569 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 210-210 The number 3 argument of domain is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 232-232 The number 3 argument of domain subclass is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 3642-3642 The number 2 argument of equivalence relation on is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 550-550 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 551-551 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 91-91 The number 2 argument of immediate instance is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 153-153 The number 1 argument of immediate subclass is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 154-154 The number 2 argument of immediate subclass is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 82-82 The number 2 argument of instance is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 3579-3579 The number 2 argument of partial ordering on is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 584-584 The number 1 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 585-585 The number 2 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 307-307 The number 2 argument of range is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 3540-3540 The number 2 argument of reflexive on is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 131-131 The number 1 argument of subclass is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 132-132 The number 2 argument of subclass is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 8923-8923 The number 1 argument of successorClass is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 8924-8924 The number 2 argument of successorClass is an instance of class
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4734-4734 The number 1 argument of total is an instance of class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30522-30527
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30529-30534
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30690-30695
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30712-30717
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30623-30628
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30668-30673
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30822-30829
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30557-30562
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30852-30857
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30734-30739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30777-30782
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30602-30607
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30576-30581
No TPTP formula. May not be expressible in strict first order. Merge.kif 819-821

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 576-580
No TPTP formula. May not be expressible in strict first order. Merge.kif 560-564
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2243-2250
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2252-2261
No TPTP formula. May not be expressible in strict first order. Merge.kif 137-141


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners