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 1293-1294
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 218-219
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 259-260
No TPTP formula. May not be expressible in strict first order. Merge.kif 1290-1290 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 1291-1291 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 1288-1288 sub collection is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1289-1289 sub collection is an instance of partial ordering relation

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. french_format.kif 112-112
No TPTP formula. May not be expressible in strict first order. relations-it.txt 272-272
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1941-1941
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 64-64
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 70-70
No TPTP formula. May not be expressible in strict first order. relations-de.txt 235-235
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 309-309
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 131-131
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 117-117
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 464-464
No TPTP formula. May not be expressible in strict first order. Merge.kif 16741-16741 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 55710-55710
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55709-55709
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55708-55708
No TPTP formula. May not be expressible in strict first order. terms-de.txt 74-74

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1297-1302 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. VirusProteinAndCellPart.kif 829-836
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 974-984
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 921-931
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 939-949
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 992-1002
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 896-905
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 866-875
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 877-888
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 3668-3704

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 829-836
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1004-1023
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 951-966
No TPTP formula. May not be expressible in strict first order. Economy.kif 3970-3985
No TPTP formula. May not be expressible in strict first order. Economy.kif 3911-3926
No TPTP formula. May not be expressible in strict first order. Economy.kif 3879-3894
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 483-489
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 22671-22677

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


No TPTP formula. May not be expressible in strict first order. People.kif 1339-1339 Ahmadiyya sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 496-496 Aimak ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 1217-1217 Anglicanism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. Media.kif 2602-2602 British virgin islands is a proper sub-collection of virgin islands
No TPTP formula. May not be expressible in strict first order. People.kif 1353-1353 Druze sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 1239-1239 Eastern orthodox christianity is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. People.kif 535-535 Hazara ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 555-555 Indochinese ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 1253-1253 Protestantism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. People.kif 1267-1267 Roman catholicism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order. People.kif 595-595 Russian ethnicity is a proper sub-collection of slavic ethnicity
No TPTP formula. May not be expressible in strict first order. People.kif 1368-1368 Shiite sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 1387-1387 Sunni sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order. People.kif 631-631 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 2603-2603 US virgin islands is a proper sub-collection of virgin islands
No TPTP formula. May not be expressible in strict first order. People.kif 638-638 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