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 2039-2041
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2037-2037	Set or class is exhaustively partitioned into set and class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2036-2036	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 5189-5189	The range of complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5210-5210	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 5199-5199	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 5168-5168	The range of intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5179-5179	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 5142-5142	The range of union is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 763-763	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 2056-2056	Set is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 885-885
No TPTP formula. May not be expressible in strict first order.	english_format.kif 977-977

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1681-1681	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 5188-5188	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 5166-5166	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 5167-5167	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 762-762	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 5177-5177	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 5178-5178	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 5140-5140	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 5141-5141	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 907-907	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 68-68	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 69-69	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 70-70	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 3451-3451	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 394-394	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 395-395	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 208-208	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 230-230	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 3574-3574	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 151-151	The number 1 argument of immediate subclass is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 152-152	The number 2 argument of immediate subclass is an instance of set or 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 set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3498-3498	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

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 1574-1574

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 136-140	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 5219-5219

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: