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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subCollection

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 1253-1254
No TPTP formula. May not be expressible in strict first order. Merge.kif 1250-1250 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 1251-1251 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 1248-1248 sub collection is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1249-1249 sub collection is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1256-1256 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 186-186
No TPTP formula. May not be expressible in strict first order. Merge.kif 16487-16487 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 55689-55689
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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1258-1263 A collection is a proper sub-collection of another collection if and only if for all a physical
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 3878-3913

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 2903-2914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22202-22208

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


No TPTP formula. May not be expressible in strict first order. People.kif 1365-1365 Ahmadiyya sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 522-522 Aimak ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 1243-1243 Anglicanism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. Media.kif 2588-2588 British virgin islands is a proper sub-collection of virgin islands
No TPTP formula. May not be expressible in strict first order. People.kif 1379-1379 Druze sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 1265-1265 Eastern orthodox christianity is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. People.kif 561-561 Hazara ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 581-581 Indochinese ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 1279-1279 Protestantism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. People.kif 1293-1293 Roman catholicism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. People.kif 621-621 Russian ethnicity is a proper sub-collection of slavic ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 1394-1394 Shiite sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 1413-1413 Sunni sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 657-657 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 2589-2589 USVirginIslands is a proper sub-collection of virgin islands
No TPTP formula. May not be expressible in strict first order. People.kif 664-664 Uzbek ethnicity is a proper sub-collection of central asian turkish ethnicity


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