SetOrClass - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2220-2221
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2217-2219
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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2215-2215	Set or class is a subclass of abstract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5544-5544	The range of complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5569-5569	The range of generalized intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5556-5556	The range of generalized union is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5519-5519	The range of intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5532-5532	The range of relative complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5491-5491	The range of union is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 820-820	The values returned by power set are subclasses of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2240-2240	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 885-885	"集或类" is the printable form of set or class in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	english_format.kif 572-572	"set or class" is the printable form of set or class in english language
No TPTP formula. May not be expressible in strict first order.	french_format.kif 561-561	"ensemble ou classe" is the printable form of set or class in french language
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 91-91	"samUha yaa varga" is the printable form of set or class in Hindi
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 92-92	"InsiemeOClasse" is the printable form of set or class in italian language
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 513-513	"Conjunto ou Classe" is the printable form of set or class in portuguese language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 297-297	"مَجْمُوْعَة أَو صِنْف" is the printable form of set or class in ar
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 128-128	"set or class" is the printable form of set or class in cz
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 95-95	"isang huwego o klase" is the printable form of set or class in tg

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1810-1810	The number 1 argument of attr is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5543-5543	The number 1 argument of complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5517-5517	The number 1 argument of intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5518-5518	The number 2 argument of intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 819-819	The number 1 argument of power set is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5530-5530	The number 1 argument of relative complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5531-5531	The number 2 argument of relative complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5489-5489	The number 1 argument of union is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5490-5490	The number 2 argument of union is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 903-903	The number 2 argument of adjacent orientation is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Government.kif 425-425	The number 1 argument of cardinality is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 67-67	The number 1 argument of classIntersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 68-68	The number 2 argument of classIntersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 69-69	The number 3 argument of classIntersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3667-3667	The number 2 argument of closed on is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 438-438	The number 1 argument of disjoint is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 439-439	The number 2 argument of disjoint is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 229-229	The number 3 argument of domain is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 258-258	The number 3 argument of domain subclass is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3800-3800	The number 2 argument of equivalence relation on is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 83-83	The number 2 argument of instance is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3716-3716	The number 2 argument of irreflexive on is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	engineering.kif 39-39	The number 1 argument of lexicon is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20132-20132	The number 2 argument of member type is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20146-20146	The number 2 argument of member type count is an instance of set or class

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 4

No TPTP formula. May not be expressible in strict first order.

Merge.kif 1704-1704

Abstract is disjointly decomposed into quantity, attribute, set or class, relation, and proposition

antecedent

No TPTP formula. May not be expressible in strict first order.

Government.kif 435-439

If a set or class is an instance of set or class and the number of instances in the set or class is equal to a nonnegative integer,
then the nonnegative integer is a cardinality of the set or class

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 2134-2147	If there can be an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the other entity is an instance of the set or class and the number of instances in the set or class is equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2205-2218	If there can be at most an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the other entity is an instance of the set or class and the number of instances in the set or class is less than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2170-2183	If there are at least an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS), then the other entity is an instance of the set or class and the number of instances in the set or class is greater than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 150-154	If a set or class is a subclass of another set or class, then the set or class is an instance of set or class and the other set or class is an instance of set or class

statement

No TPTP formula. May not be expressible in strict first order.

Merge.kif 5582-5582

The number 1 argument of cardinality is an instance of the union of set or class and collection

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

KB Term:			Term intersection

English Word: