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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LandArea

Sigma KEE - LandArea
LandArea(land area)Abila, Abruzzi, Abruzzi_e_Molise, Abyla, Acadia, Acores, Acre, Aegadean_Islands, Aegadean_Isles, Aegates, Aegean, Afro-Asian, Akmola, Alpine, Alsace, Alsatia, Alsatian, America, American, Anatolia, Andean, Andorran, Apulia, Aquitaine, Aquitania, Arabia, Arabian, Arabian_Peninsula, Aragon, Arcadia, Ardennes, Areopagus, Armageddon, Asama, Asia_Minor, Assyria, Astana, Athos, Attica, Australasia, Austronesia, Auvergne, Azores, Babylonia, Bad_Lands, Badlands, Balkan_Peninsula, Balkans, Barbados, Barbary...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14169-14172
No TPTP formula. May not be expressible in strict first order. Merge.kif 14173-14175
No TPTP formula. May not be expressible in strict first order. Merge.kif 14168-14168 Land area is a subclass of geographic area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 639-639 American samoa is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 416-416 Anguilla is an instance of land area
No TPTP formula. May not be expressible in strict first order. Geography.kif 3449-3449 Antarctic area is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 417-417 Aruba is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 592-592 Ashmore and cartier islands is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 640-640 Baker island is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 400-400 Bermuda is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 565-565 British indian ocean territory is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 418-418 British virgin islands is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 419-419 Cayman islands is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 593-593 Christmas island is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 469-469 Clipperton island is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 594-594 Cocos keeling islands is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 641-641 Cook islands is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 642-642 Coral sea islands is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 492-492 Falkland islands is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 311-311 Faroe islands is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 491-491 French guiana is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 643-643 French polynesia is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 587-587 French southern and antarctic lands is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 237-237 Gaza strip is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 388-388 Gibraltar is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 401-401 Greenland is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 420-420 Guadeloupe is an instance of land area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 344-344 Guernsey is an instance of land area

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4051-4051 The number 1 argument of ground subsurface type is an instance of land area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4044-4044 The number 1 argument of ground surface type is an instance of land area
No TPTP formula. May not be expressible in strict first order. Geography.kif 1615-1615 The number 1 argument of slope gradient is an instance of land area
No TPTP formula. May not be expressible in strict first order. Geography.kif 1628-1628 The number 1 argument of slope gradient towards orientation is an instance of land area
No TPTP formula. May not be expressible in strict first order. Merge.kif 14029-14029 Geographic area is exhaustively partitioned into water area and land area

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5381-5386
No TPTP formula. May not be expressible in strict first order. Geography.kif 5372-5379
No TPTP formula. May not be expressible in strict first order. Geography.kif 6104-6114
No TPTP formula. May not be expressible in strict first order. Geography.kif 1784-1790
No TPTP formula. May not be expressible in strict first order. Geography.kif 1776-1782
No TPTP formula. May not be expressible in strict first order. Geography.kif 4054-4063
No TPTP formula. May not be expressible in strict first order. Geography.kif 4016-4023
No TPTP formula. May not be expressible in strict first order. Geography.kif 4003-4010
No TPTP formula. May not be expressible in strict first order. Merge.kif 14177-14184

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1683-1687
No TPTP formula. May not be expressible in strict first order. Merge.kif 14233-14239
No TPTP formula. May not be expressible in strict first order. Geography.kif 5484-5498
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18866
No TPTP formula. May not be expressible in strict first order. Geography.kif 2127-2139
No TPTP formula. May not be expressible in strict first order. Geography.kif 1734-1736
No TPTP formula. May not be expressible in strict first order. Geography.kif 938-943
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13070-13077
No TPTP formula. May not be expressible in strict first order. Geography.kif 599-605
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1301-1310
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8642-8647
No TPTP formula. May not be expressible in strict first order. Geography.kif 4889-4894
No TPTP formula. May not be expressible in strict first order. Merge.kif 14219-14231
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15362-15369
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 800-807
No TPTP formula. May not be expressible in strict first order. Geography.kif 4466-4471
No TPTP formula. May not be expressible in strict first order. Geography.kif 6096-6102
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4489-4500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24092-24110


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners