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 13168-13171
No TPTP formula. May not be expressible in strict first order. Merge.kif 13167-13167 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 3505-3505 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 4123-4123 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 4116-4116 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 1645-1645 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 1658-1658 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 13046-13046 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 5493-5500
No TPTP formula. May not be expressible in strict first order. Geography.kif 5502-5507
No TPTP formula. May not be expressible in strict first order. Geography.kif 6309-6322
No TPTP formula. May not be expressible in strict first order. Geography.kif 1814-1820
No TPTP formula. May not be expressible in strict first order. Geography.kif 1806-1812
No TPTP formula. May not be expressible in strict first order. Geography.kif 4126-4135
No TPTP formula. May not be expressible in strict first order. Geography.kif 4085-4095
No TPTP formula. May not be expressible in strict first order. Geography.kif 4069-4079
No TPTP formula. May not be expressible in strict first order. Merge.kif 13173-13180

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1713-1717
No TPTP formula. May not be expressible in strict first order. Weather.kif 1273-1294
No TPTP formula. May not be expressible in strict first order. Merge.kif 13222-13228
No TPTP formula. May not be expressible in strict first order. Geography.kif 5605-5619
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 17535-17564
No TPTP formula. May not be expressible in strict first order. Geography.kif 2160-2172
No TPTP formula. May not be expressible in strict first order. Geography.kif 1764-1766
No TPTP formula. May not be expressible in strict first order. Geography.kif 951-956
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12117-12124
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 1313-1322
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7814-7819
No TPTP formula. May not be expressible in strict first order. Geography.kif 5009-5014
No TPTP formula. May not be expressible in strict first order. Merge.kif 13208-13220
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14351-14358
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 4580-4585
No TPTP formula. May not be expressible in strict first order. Geography.kif 6301-6307
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3886-3897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22317-22335


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