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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RespiratoryTract

Sigma KEE - PoliticalOrganization
PoliticalOrganization(政治机构)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3727-3728
No TPTP formula. May not be expressible in strict first order. Merge.kif 16717-16718
No TPTP formula. May not be expressible in strict first order. Merge.kif 16716-16716 政治机构机构subclass

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3907-3907 巴勒斯坦解放组织政治机构instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 16727-16727 军事力量政治机构subclass
No TPTP formula. May not be expressible in strict first order. Government.kif 2207-2207 政治联盟政治机构subclass
No TPTP formula. May not be expressible in strict first order. Government.kif 2214-2214 政治党派政治机构subclass
No TPTP formula. May not be expressible in strict first order. Government.kif 2309-2309 政治压力集团政治机构subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22668-22668 恐怖组织政治机构subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1069-1069
No TPTP formula. May not be expressible in strict first order. english_format.kif 1349-1349
No TPTP formula. May not be expressible in strict first order. french_format.kif 747-747
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 279-279
No TPTP formula. May not be expressible in strict first order. terms-it.txt 282-282
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2431-2431
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 699-699
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 318-318
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 768-768
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 283-283

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 16720-16725


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