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 14154-14157
No TPTP formula. May not be expressible in strict first order. Merge.kif 14153-14153 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 3624-3624 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 4285-4285 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 4278-4278 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 1674-1674 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 1687-1687 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 14032-14032 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 1598-1608
No TPTP formula. May not be expressible in strict first order. Geography.kif 5711-5718
No TPTP formula. May not be expressible in strict first order. Geography.kif 5720-5725
No TPTP formula. May not be expressible in strict first order. Geography.kif 6779-6792
No TPTP formula. May not be expressible in strict first order. Geography.kif 1843-1849
No TPTP formula. May not be expressible in strict first order. Geography.kif 1835-1841
No TPTP formula. May not be expressible in strict first order. Geography.kif 4288-4297
No TPTP formula. May not be expressible in strict first order. Geography.kif 4247-4257
No TPTP formula. May not be expressible in strict first order. Geography.kif 4231-4241
No TPTP formula. May not be expressible in strict first order. Merge.kif 14159-14166

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1742-1746
No TPTP formula. May not be expressible in strict first order. Weather.kif 1275-1296
No TPTP formula. May not be expressible in strict first order. Merge.kif 14208-14214
No TPTP formula. May not be expressible in strict first order. Geography.kif 5823-5837
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 21147-21177
No TPTP formula. May not be expressible in strict first order. Geography.kif 2178-2196
No TPTP formula. May not be expressible in strict first order. Geography.kif 1793-1795
No TPTP formula. May not be expressible in strict first order. Geography.kif 952-957
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15385-15392
No TPTP formula. May not be expressible in strict first order. Geography.kif 595-601
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1359-1368
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8969-8974
No TPTP formula. May not be expressible in strict first order. Geography.kif 5225-5230
No TPTP formula. May not be expressible in strict first order. Merge.kif 14194-14206
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17771-17778
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 4791-4796
No TPTP formula. May not be expressible in strict first order. Geography.kif 6771-6777
No TPTP formula. May not be expressible in strict first order. Merge.kif 14289-14297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3958-3969
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26104-26122


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