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 2149-2157
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 421-427
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10627-10627
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10626-10626
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10629-10629
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10628-10628
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10625-10625
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10624-10624
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9941-9941
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10631-10631
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10623-10623
No TPTP formula. May not be expressible in strict first order. Merge.kif 2147-2147 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 1772-1772 The range of extension is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5609-5609 The range of kappa is an instance of class
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1509-1509 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 886-886 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. english_format.kif 974-974 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. french_format.kif 562-562 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 92-92 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. terms-it.txt 95-95 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2247-2247 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 514-514 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 97-97 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 129-129 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. terms-de.txt 388-388 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 583-583 The range of week before menstruation is an instance of class
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 96-96 The range of week before menstruation is an instance of class

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1490-1490 The number 1 argument of TTFx is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 3590-3590 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 388-388 The number 1 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 389-389 The number 2 argument of disjoint is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 559-559 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 560-560 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 204-204 The number 3 argument of domain is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 226-226 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 3721-3721 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 541-541 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 542-542 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 147-147 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 148-148 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. Mid-level-ontology.kif 32943-32943 The number 1 argument of member measure is an instance of class
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24291-24291 The number 2 argument of member type is an instance of class
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24305-24305 The number 2 argument of member type count is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 3658-3658 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 575-575 The number 1 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 576-576 The number 2 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 301-301 The number 2 argument of range is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 3619-3619 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

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 32954-32959
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32961-32966
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33131-33136
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33160-33165
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33055-33060
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33109-33114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33270-33277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 32989-32994
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33300-33305
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33182-33187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33225-33230
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33034-33039
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 33008-33013
No TPTP formula. May not be expressible in strict first order. Merge.kif 821-823

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 145-160
No TPTP formula. May not be expressible in strict first order. Merge.kif 567-571
No TPTP formula. May not be expressible in strict first order. Merge.kif 551-555
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2034-2041
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2043-2052


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