Class - Sigma Knowledge base Browser

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	If a collection is an instance of web listing category and an object is an instance of web listing and another object is an instance of web listing and a process is an instance of object and another process is an instance of object and the object is a member of the collection and the other object is a member of the collection and the object is a patient of the process and the other object is a patient of the other process, then there exists a set or class such that the set or class is an instance of class and the process is an instance of the set or class and the other process is an instance of the set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 614-618	If @ROW is disjointly decomposed into @ROW, then if another entity is a member of (@ROW), then the other entity is an instance of class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 597-601	If @ROW is covered by @ROW, then if another entity is a member of (@ROW), then the other entity is an instance of class
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2241-2248	If an object is an instance of product description page, then there exist an entity and another object such that the entity is an instance of class and the other object is an instance of advertising and the entity is a patient of a process and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2250-2259	If an object is an instance of product description page, then there exist an entity, a process,, , another process and the processCONTENT such that the entity is an instance of class and the other process is an instance of stating and the process is a patient of the other process and the process includes a reference to the entity and the processCONTENT is a result of the process and the processCONTENT is a part of the object

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