SetOrClass - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1804-1805
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2142-2144
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 419-420
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2140-2140	Set or class is exhaustively partitioned into set and class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2139-2139	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 5503-5503	The range of complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5524-5524	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 5513-5513	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 5482-5482	The range of intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5493-5493	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 5456-5456	The range of union is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 791-791	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 2147-2147	Class is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2159-2159	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 885-885	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	english_format.kif 972-972	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	french_format.kif 561-561	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 91-91	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 94-94	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2246-2246	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 513-513	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 128-128	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 387-387	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 582-582	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 95-95	Set is a subclass of set or class

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5533-5533	The number 1 argument of cardinality is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5502-5502	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 5480-5480	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 5481-5481	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 790-790	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 5491-5491	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 5492-5492	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 5454-5454	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 5455-5455	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 945-945	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 400-400	The number 1 argument of cardinality 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.	Merge.kif 5523-5523	The number 1 argument of generalized intersection is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5512-5512	The number 1 argument of generalized union is a subclass of set or class

antecedent

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

Government.kif 410-414

If a set or class is an instance of set or class and equal the number of instances in the set or class and 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 2139-2152	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 exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the entity is an instance of the class and equal the number of instances in the class and the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2212-2225	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 exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the entity is an instance of the class and the number of instances in the class is less than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2176-2189	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 exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and equal the entity and the positive integerth element of (@ARGS), then the entity is an instance of the class and the number of instances in the class is greater than or equal to the integer

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

KB Term:			Term intersection

English Word: