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

Formal Language: 



KB Term:  Term intersection
English Word: 

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. chinese_format.kif 1453-1455
No TPTP formula. May not be expressible in strict first order. Merge.kif 13907-13910
No TPTP formula. May not be expressible in strict first order. Merge.kif 13906-13906 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 3546-3546 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 4207-4207 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 4200-4200 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 1677-1677 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 1690-1690 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 13785-13785 Geographic area is exhaustively partitioned into water area and land area

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 1597-1607
No TPTP formula. May not be expressible in strict first order. Geography.kif 5608-5615
No TPTP formula. May not be expressible in strict first order. Geography.kif 5617-5622
No TPTP formula. May not be expressible in strict first order. Geography.kif 6467-6480
No TPTP formula. May not be expressible in strict first order. Geography.kif 1846-1852
No TPTP formula. May not be expressible in strict first order. Geography.kif 1838-1844
No TPTP formula. May not be expressible in strict first order. Geography.kif 4210-4219
No TPTP formula. May not be expressible in strict first order. Geography.kif 4169-4179
No TPTP formula. May not be expressible in strict first order. Geography.kif 4153-4163
No TPTP formula. May not be expressible in strict first order. Merge.kif 13912-13919

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1745-1749
No TPTP formula. May not be expressible in strict first order. Weather.kif 1274-1295
No TPTP formula. May not be expressible in strict first order. Merge.kif 13961-13967
No TPTP formula. May not be expressible in strict first order. Geography.kif 5720-5734
No TPTP formula. May not be expressible in strict first order. Weather.kif 693-706
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20471-20500
No TPTP formula. May not be expressible in strict first order. Geography.kif 2181-2199
No TPTP formula. May not be expressible in strict first order. Geography.kif 1796-1798
No TPTP formula. May not be expressible in strict first order. Geography.kif 959-964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14853-14860
No TPTP formula. May not be expressible in strict first order. Geography.kif 602-608
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1358-1367
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8576-8581
No TPTP formula. May not be expressible in strict first order. Geography.kif 5123-5128
No TPTP formula. May not be expressible in strict first order. Merge.kif 13947-13959
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17187-17194
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 811-818
No TPTP formula. May not be expressible in strict first order. Geography.kif 4689-4694
No TPTP formula. May not be expressible in strict first order. Geography.kif 6459-6465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3909-3920
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25495-25513


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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