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 14307-14310
No TPTP formula. May not be expressible in strict first order. Merge.kif 14306-14306 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 3782-3782 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 4525-4525 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 4518-4518 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 1832-1832 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 1845-1845 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 14185-14185 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 2322-2332
No TPTP formula. May not be expressible in strict first order. Geography.kif 6014-6021
No TPTP formula. May not be expressible in strict first order. Geography.kif 6023-6028
No TPTP formula. May not be expressible in strict first order. Geography.kif 7116-7129
No TPTP formula. May not be expressible in strict first order. Geography.kif 2001-2007
No TPTP formula. May not be expressible in strict first order. Geography.kif 1993-1999
No TPTP formula. May not be expressible in strict first order. Geography.kif 4528-4537
No TPTP formula. May not be expressible in strict first order. Geography.kif 4487-4497
No TPTP formula. May not be expressible in strict first order. Geography.kif 4471-4481
No TPTP formula. May not be expressible in strict first order. Merge.kif 14312-14319

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1900-1904
No TPTP formula. May not be expressible in strict first order. Weather.kif 1991-2012
No TPTP formula. May not be expressible in strict first order. Merge.kif 14361-14367
No TPTP formula. May not be expressible in strict first order. Geography.kif 6126-6140
No TPTP formula. May not be expressible in strict first order. Weather.kif 677-690
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22764-22794
No TPTP formula. May not be expressible in strict first order. Geography.kif 2336-2354
No TPTP formula. May not be expressible in strict first order. Geography.kif 1951-1953
No TPTP formula. May not be expressible in strict first order. Geography.kif 1117-1122
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1752-1762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16758-16765
No TPTP formula. May not be expressible in strict first order. Geography.kif 765-771
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1375-1384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10175-10180
No TPTP formula. May not be expressible in strict first order. Geography.kif 5516-5521
No TPTP formula. May not be expressible in strict first order. Merge.kif 14347-14359
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19322-19329
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. Mid-level-ontology.kif 19413-19431
No TPTP formula. May not be expressible in strict first order. Geography.kif 5031-5036
No TPTP formula. May not be expressible in strict first order. Geography.kif 7108-7114
No TPTP formula. May not be expressible in strict first order. Merge.kif 14442-14450
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4401-4412
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28002-28020


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