TreeView 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 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	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 5459-5468	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 1578-1591	If a process is an instance of heavy zone and an entity is an instance of water area and the process is located at 2, 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 2 and the process is n% 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 6049-6058	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 5278-5293	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 13870-13877	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 entity 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 2 and the entity 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 3450-3458	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 an entity such that the entity is an instance of water area and the process is located at 2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5720-5734	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 11044-11051	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 5278-5293	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 1531-1546	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 and an unit of measure 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 2 and the unit of measure is an instance of length measure and significantWaveHeight in the water area during the time of existence of the water wave is a 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 2 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 2 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 2294-2299	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 2, then an entity is an instance of water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13920-13925	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 5496-5502	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 5220-5226	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 5708-5713	If an object is an instance of cape, then there exists an entity such that the entity is an instance of water area and the object penetrates the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5514-5519	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 578-584	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 5130-5135	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 13962-13967	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 5810-5815	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 5969-5976	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 6035-6040	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 525-530	If a process is an instance of wading, then there exists an entity such that the entity is an instance of water area and the process is located at 2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5697-5702	If an object is an instance of peninsula, then there exists an entity such that the entity is an instance of water area and the object penetrates the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5839-5844	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12572-12577	If a process is an instance of sinking, then there exists an entity such that the entity is an instance of water area and the process is located at 2

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

KB Term:			Term intersection

English Word: