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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WaterArea

Sigma KEE - WaterArea
WaterArea(water area)
Bo_Hai, Canakkale_Bogazi, Charybdis, Cross-Florida_Waterway, Dardanelles, Hellespont, Inland_Passage, Inside_Passage, Mediterranean, Okeechobee_Waterway, Po_Hai, U.S._waters, United_States_waters, backwater, basin, body_of_water, catchment_area, catchment_basin, deep-sea, deep-water, detention_basin, ditch, drainage_area, drainage_basin, drink, eddy, estuarial, estuarine, flowage, maelstrom, mare_clausum, mare_liberum, marine, mid-water, neritic, oceanic, offing, offshore, pelagic, polynya, pool, reefy, retention_basin, river_basin, scour, shallow, shelfy, shelvy, shoal, shoaly...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1448-1448
No TPTP formula. May not be expressible in strict first order. Merge.kif 13867-13868
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8791-8791
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9816-9816
No TPTP formula. May not be expressible in strict first order. Merge.kif 13866-13866 Water area is a subclass of geographic area

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13778-13778 Geographic area is exhaustively partitioned into water area and land area
No TPTP formula. May not be expressible in strict first order. Transportation.kif 921-921 Anchorage is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4390-4390 Body of water is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13884-13884 Fresh water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Transportation.kif 917-917 Harbor is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 2031-2031 Hydropower water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5239-5239 Inland water system is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5552-5552 River mouth is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5407-5407 River system is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Merge.kif 13879-13879 Salt water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2944-2944 Ship berth is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8642-8642 Static water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8635-8635 Stream water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5382-5382 Stream water confluence is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Weather.kif 1377-1377 Surf zone is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 4830-4830 Water current is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5475-5475 Waterway is a subclass of water area
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 950-950
No TPTP formula. May not be expressible in strict first order. english_format.kif 1107-1107

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6066-6066 The number 2 argument of shoreline is an instance of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5457-5457 The number 2 argument of flow current is an instance of water area
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2653-2653 The number 1 argument of navigable for draft is an instance of water area
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2636-2636 The number 1 argument of navigable for shipping tonnage is an instance of water area
No TPTP formula. May not be expressible in strict first order. Weather.kif 975-975 The number 1 argument of sea surface temperature is an instance of water area
No TPTP formula. May not be expressible in strict first order. Weather.kif 1523-1523 The number 1 argument of significant wave height is an instance of water area
No TPTP formula. May not be expressible in strict first order. Geography.kif 5584-5584 The number 1 argument of stream outfall is an instance of water area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16983-16983 The number 1 argument of water depth is an instance of water area

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


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 5459-5468
No TPTP formula. May not be expressible in strict first order. Weather.kif 1578-1591
No TPTP formula. May not be expressible in strict first order. Geography.kif 6049-6058
No TPTP formula. May not be expressible in strict first order. Geography.kif 5278-5293
No TPTP formula. May not be expressible in strict first order. Merge.kif 13870-13877

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


No TPTP formula. May not be expressible in strict first order. naics.kif 8120-8130
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 665-671
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3450-3458
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. Merge.kif 11044-11051
No TPTP formula. May not be expressible in strict first order. Geography.kif 5278-5293
No TPTP formula. May not be expressible in strict first order. Weather.kif 1531-1546
No TPTP formula. May not be expressible in strict first order. naics.kif 8184-8197
No TPTP formula. May not be expressible in strict first order. naics.kif 8207-8225
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2294-2299
No TPTP formula. May not be expressible in strict first order. Merge.kif 13920-13925
No TPTP formula. May not be expressible in strict first order. Geography.kif 5496-5502
No TPTP formula. May not be expressible in strict first order. Geography.kif 5220-5226
No TPTP formula. May not be expressible in strict first order. Geography.kif 5708-5713
No TPTP formula. May not be expressible in strict first order. Geography.kif 5514-5519
No TPTP formula. May not be expressible in strict first order. Geography.kif 578-584
No TPTP formula. May not be expressible in strict first order. Geography.kif 5130-5135
No TPTP formula. May not be expressible in strict first order. Merge.kif 13962-13967
No TPTP formula. May not be expressible in strict first order. Geography.kif 5810-5815
No TPTP formula. May not be expressible in strict first order. Geography.kif 5969-5976
No TPTP formula. May not be expressible in strict first order. Geography.kif 6035-6040
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 525-530
No TPTP formula. May not be expressible in strict first order. Geography.kif 5697-5702
No TPTP formula. May not be expressible in strict first order. Geography.kif 5839-5844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12572-12577

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 3.0 is open source software produced by Articulate Software and its partners