Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SetOrClass
SetOrClass(set or class)subgroup, subpopulation

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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2134-2147
No TPTP formula. May not be expressible in strict first order. Media.kif 2205-2218
No TPTP formula. May not be expressible in strict first order. Media.kif 2170-2183
No TPTP formula. May not be expressible in strict first order. Merge.kif 136-140

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