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 14114-14119
No TPTP formula. May not be expressible in strict first order. Merge.kif 14112-14112 Le nombre 1 argument de geopoliticalSubdivision est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Merge.kif 14113-14113 Le nombre 2 argument de geopoliticalSubdivision est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order. Merge.kif 14109-14109 geopoliticalSubdivision est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 14110-14110 geopoliticalSubdivision est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order. Merge.kif 14111-14111 geopoliticalSubdivision est une sous-relation de geographicSubregion

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 administrativeCenter est une sous-relation de geopoliticalSubdivision
No TPTP formula. May not be expressible in strict first order. Government.kif 403-403 primaryGeopoliticalSubdivision est une sous-relation de geopoliticalSubdivision
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 8079-8084 Secteur g�opolitique est une instance de CityDistrict secteur g�opolitique secteur g�opolitique est une instance de ville sous-division g�opolitique
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 19691-19699

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4255-4255 Sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4275-4275 Sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4259-4259 Sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4267-4267 Sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4279-4279 Sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4251-4251 Sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4271-4271 Sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4263-4263 Sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4283-4283 Sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4287-4287 Sous-division g�opolitique


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