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 2127-2129
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 2125-2125 Set or class is exhaustively partitioned into set and class
No TPTP formula. May not be expressible in strict first order. Merge.kif 2124-2124 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 5488-5488 The range of complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5509-5509 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 5498-5498 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 5467-5467 The range of intersection is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 5478-5478 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 5441-5441 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 2132-2132 Class is a subclass of set or class
No TPTP formula. May not be expressible in strict first order. Merge.kif 2144-2144 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 5518-5518 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 5487-5487 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 5465-5465 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 5466-5466 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 5476-5476 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 5477-5477 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 5439-5439 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 5440-5440 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 5508-5508 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 5497-5497 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

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2139-2152
No TPTP formula. May not be expressible in strict first order. Media.kif 2212-2225
No TPTP formula. May not be expressible in strict first order. Media.kif 2176-2189


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