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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Class

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 2138-2146
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 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 10631-10631
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10630-10630
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 9942-9942
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10633-10633
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. Merge.kif 2136-2136 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 1762-1762 The range of extension is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5584-5584 The range of kappa is an instance of class
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1516-1516 The range of WeekBeforeMenstruationFn 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 562-562
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 92-92
No TPTP formula. May not be expressible in strict first order. terms-it.txt 95-95
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2247-2247
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 514-514
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 97-97
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 129-129
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 583-583
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 96-96

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 3575-3575 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 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 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 3706-3706 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 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 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. Mid-level-ontology.kif 31007-31007 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 22650-22650 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 22664-22664 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 3643-3643 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 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. 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 3604-3604 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 31018-31023
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31025-31030
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31186-31191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31215-31220
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31119-31124
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31164-31169
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31325-31332
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31053-31058
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31355-31360
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31237-31242
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31280-31285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31098-31103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31072-31077
No TPTP formula. May not be expressible in strict first order. Merge.kif 828-830

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 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 2034-2041
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2043-2052
No TPTP formula. May not be expressible in strict first order. Merge.kif 137-141


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

Show without tree


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