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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subCollection
subCollection

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1635-1636
No TPTP formula. May not be expressible in strict first order. Merge.kif 1189-1190
No TPTP formula. May not be expressible in strict first order. Merge.kif 1186-1186 The number 1 argument of sub collection is an instance of collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 1187-1187 The number 2 argument of sub collection is an instance of collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 1184-1184 sub collection is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1185-1185 sub collection is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1192-1192 sub collection is a subrelation of part

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 185-185
No TPTP formula. May not be expressible in strict first order. english_format.kif 189-189
No TPTP formula. May not be expressible in strict first order. Merge.kif 15611-15611 sub organization is a subrelation of sub collection
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 186-186
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55688-55688
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55687-55687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55686-55686

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1194-1199 A collection is a proper sub-collection of another collection if and only if for all an object
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 163-183
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3876-3911

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 608-614
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2859-2870
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19107-19113

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 1341-1341 Ahmadiyya sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 499-499 Aimak ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 1219-1219 Anglicanism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. Media.kif 2572-2572 British virgin islands is a proper sub-collection of virgin islands
No TPTP formula. May not be expressible in strict first order. People.kif 1355-1355 Druze sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 1241-1241 Eastern orthodox christianity is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. People.kif 538-538 Hazara ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 558-558 Indochinese ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 1255-1255 Protestantism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. People.kif 1269-1269 Roman catholicism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. People.kif 597-597 Russian ethnicity is a proper sub-collection of slavic ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 1370-1370 Shiite sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 1389-1389 Sunni sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 633-633 Turkmen ethnicity is a proper sub-collection of central asian turkish ethnicity
No TPTP formula. May not be expressible in strict first order. Media.kif 2573-2573 USVirginIslands is a proper sub-collection of virgin islands
No TPTP formula. May not be expressible in strict first order. People.kif 640-640 Uzbek ethnicity is a proper sub-collection of central asian turkish ethnicity


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