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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 13890-13891
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 13889-13889 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 13801-13801 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 13907-13907 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 13902-13902 Salt water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2936-2936 Ship berth is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8688-8688 Static water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8681-8681 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 2645-2645 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 2628-2628 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 17060-17060 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 13893-13900

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 3459-3467
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 11057-11064
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 2286-2291
No TPTP formula. May not be expressible in strict first order. Merge.kif 13943-13948
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 13985-13990
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 531-536
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 12631-12636

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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