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 14167-14168
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8790-8790
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9808-9808
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14166-14166	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 14078-14078	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 4491-4491	Body of water is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14184-14184	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 2028-2028	Hydropower water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5341-5341	Inland water system is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5655-5655	River mouth is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5509-5509	River system is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14179-14179	Salt water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3117-3117	Ship berth is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9066-9066	Static water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9059-9059	Stream water area is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5484-5484	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 4932-4932	Water current is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5577-5577	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
No TPTP formula. May not be expressible in strict first order.	french_format.kif 626-626
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 157-157
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 160-160
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2311-2311
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 578-578

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 6169-6169	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 5559-5559	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 2691-2691	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 2674-2674	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 1508-1508	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 5687-5687	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 17593-17593	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 6126-6131	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 5561-5570	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 1562-1575	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 6152-6161	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 5380-5395	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 14170-14177	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 5823-5837	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 11208-11215	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 5380-5395	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 1515-1530	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 2293-2298	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 14220-14225	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 5599-5605	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 5322-5328	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 5811-5816	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 5617-5622	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 5232-5237	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 14262-14267	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 5913-5918	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 6072-6079	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 6138-6143	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 5800-5805	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 17705-17710	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 5942-5947	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 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: