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 13845-13850
No TPTP formula. May not be expressible in strict first order. Merge.kif 13843-13843 The number 1 argument of geopolitical subdivision is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13844-13844 The number 2 argument of geopolitical subdivision is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13840-13840 geopolitical subdivision is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 13841-13841 geopolitical subdivision is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 13842-13842 geopolitical subdivision is a subrelation of geographic subregion

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. english_format.kif 815-815
No TPTP formula. May not be expressible in strict first order. Government.kif 385-385 administrative center is a subrelation of geopolitical subdivision
No TPTP formula. May not be expressible in strict first order. Government.kif 403-403 primary geopolitical subdivision is a subrelation of geopolitical subdivision
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 25833-25833
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25832-25832
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25831-25831

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4660-4665
No TPTP formula. May not be expressible in strict first order. Government.kif 4527-4532
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 7753-7758 A geopolitical area is an instance of city district if and only if there exists another geopolitical area such that the other geopolitical area is an instance of city and the geopolitical area is a geopolitical part of the other geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 2442-2455
No TPTP formula. May not be expressible in strict first order. Geography.kif 6619-6624
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 19066-19074

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4255-4255 Beijing is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4275-4275 Chengdu is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4259-4259 Chongqing is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4267-4267 Guangzhou is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4279-4279 Nanjing is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4251-4251 Shanghai is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4271-4271 Shenzhen is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4263-4263 Tianjin is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4283-4283 Wuhan is a geopolitical part of china
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4287-4287 Xi'an is a geopolitical part of china


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