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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SetOrClass

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 2044-2046
No TPTP formula. May not be expressible in strict first order. Merge.kif 2042-2042 Set or class is exhaustively partitioned into set and class
No TPTP formula. May not be expressible in strict first order. Merge.kif 2041-2041 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 5196-5196 The range of complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5217-5217 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 5206-5206 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 5175-5175 The range of intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5186-5186 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 5149-5149 The range of union is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 764-764 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 2061-2061 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 1686-1686 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 5195-5195 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 5173-5173 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 5174-5174 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 763-763 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 5184-5184 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 5185-5185 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 5147-5147 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 5148-5148 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 3456-3456 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 395-395 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 396-396 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 209-209 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 231-231 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 3579-3579 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 152-152 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 153-153 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 3503-3503 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 1579-1579 Abstract is disjointly decomposed into quantity, attribute, set or class, relation, proposition, and list

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 5226-5226 The number 1 argument of cardinality is an instance of the union of set or class and collection


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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