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 2118-2120
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 2116-2116	Set or class is exhaustively partitioned into set and class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2115-2115	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 5464-5464	The range of complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5485-5485	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 5474-5474	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 5443-5443	The range of intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5454-5454	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 5417-5417	The range of union is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 798-798	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 2123-2123	Class is a subclass of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2135-2135	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 972-972
No TPTP formula. May not be expressible in strict first order.	french_format.kif 561-561
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 91-91
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 92-92
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2246-2246
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 513-513
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 128-128
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 582-582
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 95-95

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 5463-5463	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 5441-5441	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 5442-5442	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 797-797	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 5452-5452	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 5453-5453	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 5415-5415	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 5416-5416	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 937-937	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 436-436	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.	Mid-level-ontology.kif 31112-31112	The number 1 argument of member measure is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22730-22730	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 22744-22744	The number 2 argument of member type count is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5484-5484	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 5473-5473	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 446-450

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 2137-2150	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 the entity is equal to the positive integerth element of (@ARGS), then the entity is an instance of the class and the number of instances in the class is equal to the integer
No TPTP formula. May not be expressible in strict first order.	Media.kif 2210-2223	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 the entity is equal to 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 2174-2187	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 the entity is equal to 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

statement

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

Merge.kif 5494-5494

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: