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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dependentGeopoliticalArea

Sigma KEE - dependentGeopoliticalArea
dependentGeopoliticalArea

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


No TPTP formula. May not be expressible in strict first order. Government.kif 462-467
No TPTP formula. May not be expressible in strict first order. Government.kif 459-459 The number 1 argument of dependent geopolitical area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Government.kif 460-460 The number 2 argument of dependent geopolitical area is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Government.kif 456-456 dependent geopolitical area is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Government.kif 457-457 dependent geopolitical area is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Government.kif 458-458 dependent geopolitical area is internally related to primary geopolitical subdivision
No TPTP formula. May not be expressible in strict first order. Geography.kif 973-973 dependent geopolitical area is a subrelation of claimed territory

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3234-3234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3233-3233
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3232-3232
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19118-19118
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19117-19117
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19116-19116

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


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. Government.kif 469-471

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


No TPTP formula. May not be expressible in strict first order. Government.kif 546-553
No TPTP formula. May not be expressible in strict first order. Government.kif 473-475
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 493-498
No TPTP formula. May not be expressible in strict first order. Media.kif 2614-2616

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2562-2562 Aaland islands is a dependent of finland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3726-3726 American samoa is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3728-3728 Anguilla is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3730-3730 Aruba is a dependent of netherlands
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3732-3732 Ashmore and cartier islands is a dependent of australia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3734-3734 Baker island is a dependent of united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3736-3736 Bassas da india is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3738-3738 Bermuda is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3740-3740 Bouvet island is a dependent of norway
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3742-3742 British indian ocean territory is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3744-3744 British virgin islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3747-3747 Cayman islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3750-3750 Channel islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3754-3754 Christmas island is a dependent of australia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3756-3756 Clipperton island is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3758-3758 Cocos keeling islands is a dependent of australia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3760-3760 Cook islands is a dependent of new zealand
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3762-3762 Coral sea islands is a dependent of australia
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3764-3764 Europa island is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3766-3766 Falkland islands is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3768-3768 Faroe islands is a dependent of denmark
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3770-3770 French guiana is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3772-3772 French polynesia is a dependent of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3774-3774 French southern and antarctic lands is a dependent of france

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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