WaterArea - Sigma Knowledge base Browser

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 14259-14260
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8789-8789
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9807-9807
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14258-14258	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 14170-14170	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 4561-4561	Body of water is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14276-14276	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 2016-2016	Hydropower water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5411-5411	Inland water system is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5725-5725	River mouth is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5579-5579	River system is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14271-14271	Salt water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3772-3772	Ship berth is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10263-10263	Static water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10256-10256	Stream water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5554-5554	Stream water confluence is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1362-1362	Surf zone is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5002-5002	Water current is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5647-5647	Waterway is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 950-950	Waterway is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1107-1107	Waterway is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	french_format.kif 626-626	Waterway is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 157-157	Waterway is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 160-160	Waterway is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2311-2311	Waterway is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 578-578	Waterway is a subclass of water 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 6239-6239	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 5629-5629	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 3177-3177	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 3160-3160	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 959-959	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 1507-1507	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 5757-5757	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 19134-19134	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 6196-6201	If an object is an instance of seacoast and another object is an instance of water area and the other object is adjacent to the object, then the other object is an instance of salt water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5631-5640	If a water area is an instance of waterfall and a water motion is an instance of water motion and the water area is a flow current of the water motion and the water motion originates at an object and the water motion ends up at another object and the object is an instance of water area and the other object is an instance of water area, then the object is above to the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1561-1574	If a process is an instance of heavy zone and an object is an instance of water area and the process is located at the object, then there exist another process and an agent such that the other process is an instance of swimming and the agent is an instance of human and the agent is an agent of the other process and the other process is located at the object and the process is hazardous to the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6222-6231	If an object is an instance of shore area and another object is an instance of water area and the object is adjacent to the other object, then there exists a third object such that the third object is an instance of shoreline and the third object is a part of the object and the third object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5450-5465	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and the other geographic area is not equal to the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and the object is not equal to the other geographic area and the object is not equal to the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14262-14269	If an object is an instance of water area, then there exist another object, a hole and a third object such that the host of the hole the hole is equal to the other object and the third object is an instance of water and the third object properly fills the hole and the union of the parts of the other object and the third object is equal to the object

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8120-8130	If deep sea coastal and great lakes water transportation is an attribute of a cognitive agent and the cognitive agent is an instance of transportation company, then there exist a service and an object such that the service is an instance of Water Transportation Service and the cognitive agent provides a service during the service and the service is located at the object and the object is an instance of water area and the cognitive agent is located at north america
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 665-671	If a process is an instance of anti surface operation and an entity is a patient of the process and the entity is located at another entity holds during the time of existence of the process, then the other entity is an instance of water area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3960-3968	If an object is an instance of water vehicle and a process is an instance of transportation and the object is an instrument for the process, then there exists another object such that the other object is an instance of water area and the process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5893-5907	If a self connected object is an instance of isthmus and a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and the other self connected object is not equal to the third self connected object, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of land area and the other object is an instance of land area and the self connected object is between the object and the other object and the third object is an instance of water area and the fourth object is an instance of water area and the other self connected object meets the third object and the third self connected object meets the fourth object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11297-11304	If a process is an instance of swimming and an agent is an agent of the process, then there exists an object such that the object is an instance of water area and the agent is located at the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5450-5465	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and the other geographic area is not equal to the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and the object is not equal to the other geographic area and the object is not equal to the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1514-1529	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area,, , an unit of measure and a real number such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at the water area and the unit of measure is an instance of unit of length and significantWaveHeight in the water area during the time of existence of the water wave is the real number the unit of measure(s). and the real number is equal to 4.0 and The StandardDeviationFn of the list
No TPTP formula. May not be expressible in strict first order.	naics.kif 8184-8197	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes freight transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	naics.kif 8207-8225	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes passenger transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2462-2467	If a kind of transportation device is a subclass of water vehicle and a process is an instance of the transportation of a kind of transportation device and the process is located at an object, then the object is an instance of water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14312-14317	If an object is an instance of shore area, then there exists another object such that the other object is an instance of water area and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5669-5675	If an object is an instance of canal, then there exist another object and a third object such that the other object is an instance of water area and the third object is an instance of water area and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5392-5398	If an object is an instance of channel, then there exist another object and a third object such that the other object is an instance of water area and the third object is an instance of water area and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5881-5886	If an object is an instance of cape, then there exists another object such that the other object is an instance of water area and the object penetrates the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5687-5692	If an object is an instance of dam, then there exists another object such that the other object is an instance of water area and the object traverses the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 571-577	If an object is an instance of surface ground area, then there doesn't exist another object such that the other object is an instance of water area and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5302-5307	If an object is an instance of inlet, then there exists another object such that the other object is an instance of water area and the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14354-14359	If an object is an instance of island, then there exists another object such that the other object is an instance of water area and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5983-5988	If an object is an instance of shoal, then there exists another object such that the other object is an instance of water area and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6142-6149	If an object is an instance of submerged land area, then there exists another object such that the other object is an instance of water area and the object is below to the other object and the other object is on to the object and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6208-6213	If an object is an instance of shoreline, then there exists another object such that the other object is an instance of water area and the other object meets the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 529-534	If a process is an instance of wading, then there exists an object such that the object is an instance of water area and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5870-5875	If an object is an instance of peninsula, then there exists another object such that the other object is an instance of water area and the object penetrates the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19246-19251	If an object is an instance of under water, then there exists another object such that the other object is an instance of water area and the object is below to the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6012-6017	If an object is an instance of reef, then there exists another object such that the other object is an instance of water area and the object is near to the other object

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

KB Term:			Term intersection

English Word: