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 14191-14192
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 14190-14190	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 14102-14102	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 4560-4560	Body of water is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14208-14208	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 5410-5410	Inland water system is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5724-5724	River mouth is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5578-5578	River system is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14203-14203	Salt water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3768-3768	Ship berth is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9739-9739	Static water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9732-9732	Stream water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5553-5553	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 5001-5001	Water current is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5646-5646	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 6238-6238	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 5628-5628	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 3174-3174	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 3157-3157	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 5756-5756	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 18484-18484	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 6195-6200	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 5630-5639	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 6221-6230	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 5449-5464	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 14194-14201	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 3491-3499	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 5892-5906	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 11233-11240	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 5449-5464	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 14244-14249	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 5668-5674	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 5391-5397	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 5880-5885	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 5686-5691	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 5301-5306	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 14286-14291	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 5982-5987	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 6141-6148	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 6207-6212	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 5869-5874	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 18596-18601	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 6011-6016	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: