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

Formal Language: 



KB Term:  Term intersection
English Word: 

  geopoliticalSubdivision

 Sigma KEE - geopoliticalSubdivision
geopoliticalSubdivision

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1443-1447
No TPTP formula. May not be expressible in strict first order. Merge.kif 14092-14097
No TPTP formula. May not be expressible in strict first order. Merge.kif 14090-14090 域 地緣政治細分, 1 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 14091-14091 域 地緣政治細分, 2 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Merge.kif 14087-14087 例 地緣政治細分 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14088-14088 例 地緣政治細分 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 14089-14089 子關係 地緣政治細分 and 地理分區域

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 804-804
No TPTP formula. May not be expressible in strict first order. english_format.kif 814-814
No TPTP formula. May not be expressible in strict first order. french_format.kif 483-483
No TPTP formula. May not be expressible in strict first order. english_format.kif 815-815
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 435-435
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 505-505
No TPTP formula. May not be expressible in strict first order. Government.kif 385-385 子關係 行政中心 and 地緣政治細分
No TPTP formula. May not be expressible in strict first order. Government.kif 403-403 子關係 主要地緣政治細分 and 地緣政治細分
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 805-805
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25842-25842
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25841-25841
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25840-25840

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4668-4673
No TPTP formula. May not be expressible in strict first order. Government.kif 4535-4540
No TPTP formula. May not be expressible in strict first order. Government.kif 482-485
No TPTP formula. May not be expressible in strict first order. Government.kif 395-397

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8080-8085 例 GeopoliticalArea and 市區 GeopoliticalArea 例 GeopoliticalArea and City 地緣政治細分 GeopoliticalArea and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Economy.kif 2432-2445
No TPTP formula. May not be expressible in strict first order. Geography.kif 6931-6936
No TPTP formula. May not be expressible in strict first order. Government.kif 477-480
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19692-19700

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4255-4255 地緣政治細分 Beijing and 中國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4275-4275 地緣政治細分 Chengdu and 中國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4259-4259 地緣政治細分 Chongqing and 中國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4267-4267 地緣政治細分 Guangzhou and 中國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4279-4279 地緣政治細分 Nanjing and 中國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4251-4251 地緣政治細分 Shanghai and 中國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4271-4271 地緣政治細分 Shenzhen and 中國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4263-4263 地緣政治細分 Tianjin and 中國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4283-4283 地緣政治細分 Wuhan and 中國
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4287-4287 地緣政治細分 西安 and 中國


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