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...
صِنْف, Classe, ambung, brand, categorial, categoric, categorical, categorisation, categorization, category, class, classe, classification, color, colour, connotation, denomination, description, family, form, genus, histocompatibility_complex, intension, kind, kingdom, klase, like, make, manner, nature, paradigm, pigeonhole, rubric, sort, species, stamp, stripe, style, substitution_class, the_like, the_likes_of, trichotomy, varga, variety, way,

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2234-2238
No TPTP formula. May not be expressible in strict first order. Merge.kif 2225-2233
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10650-10650 "http://upload.wikimedia.org/wikipedia/commons/0/0f/ Oldfaithful3.png" is a URL depicting class
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10649-10649 "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Maximum_boxed.png" is a URL depicting class
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10652-10652 "http://upload.wikimedia.org/wikipedia/commons/4/43/ Arbitrary-gametree-solved.png" is a URL depicting class
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10651-10651 "http://upload.wikimedia.org/wikipedia/commons/4/46/ Market_Data_Index_NYA_on_20050726_202628_UTC.png" is a URL depicting class
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10648-10648 "http://upload.wikimedia.org/wikipedia/commons/4/4b/ Composite_trapezoidal_rule_illustration_small.png" is a URL depicting class
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10647-10647 "http://upload.wikimedia.org/wikipedia/commons/a/a8/ BernoullisLawDerivationDiagram.png" is a URL depicting class
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9960-9960 "http://upload.wikimedia.org/wikipedia/commons/b/bf/ Pyramid_of_Capitalist_System.png" is a URL depicting class
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10654-10654 "http://upload.wikimedia.org/wikipedia/en/7/71/Classificationsau.png" is a URL depicting class
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10646-10646 "http://upload.wikimedia.org/wikipedia/en/8/8f/Personal_Household_Income_U.png" is a URL depicting class

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1809-1809 The range of attr is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 1795-1795 The range of extension is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5663-5663 The range of kappa is an instance of class
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8865-8865 Biological species is a subclass of class
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 886-886 "类" is the printable form of class in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 573-573 "class" is the printable form of class in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 562-562 "classe" is the printable form of class in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 92-92 "varga" is the printable form of class in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 93-93 "Classe" is the printable form of class in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 514-514 "Classe" is the printable form of class in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 298-298 "صِنْف" is the printable form of class in ar
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 97-97 "ambung" is the printable form of class in cb
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 129-129 "class" is the printable form of class in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 96-96 "klase" is the printable form of class in tg

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1698-1698 The number 1 argument of TTFx is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 605-605 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 606-606 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 584-584 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 585-585 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 622-622 The number 1 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. Merge.kif 623-623 The number 2 argument of partition is an instance of class
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4722-4722 The number 1 argument of total is an instance of class
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1161-1161 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 2216-2216 Set or class is exhaustively partitioned into set and class

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 852-854 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 614-618
No TPTP formula. May not be expressible in strict first order. Merge.kif 597-601
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2241-2248
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2250-2259


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners