TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5476-5477
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 878-878
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 912-912
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5474-5474	River is a subclass of body of water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5473-5473	River is a subclass of fresh water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5472-5472	River is a subclass of stream water area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5675-5675	Creek is disjoint from river
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 831-831	Hudson river is an instance of river
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 739-739	Mississippi river is an instance of river
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4241-4241	Red river is an instance of river
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50096-50096
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50095-50095
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50094-50094

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Geography.kif 5688-5688

The number 2 argument of stream outfall is an instance of river

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5678-5682	If an object is an instance of creek and another object is an instance of river, then the object is smaller than the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5661-5670	If a river is an instance of river and an object is an instance of body of water and the object is a flows of the river, then there exists a water area such that the water area is an instance of river mouth and the water area is the outfall of the river and the water area is connected to the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1683-1688	If an object is an instance of river and a kind of self connected object is a trafficable for traffic type of the object and a kind of self connected object is a subclass of water vehicle, then the object is an instance of waterway

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5533-5542	If an object is an instance of river system and another object is an instance of stream water area and the other object is a part of the object, then there exists a third object such that the third object is an instance of river and the third object is a part of the object and the third object is a flows of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5498-5505	If an object is an instance of stream water confluence, then there exist another object and a third object such that the other object is an instance of river and the third object is an instance of stream water area and the other object is a flows of the third object and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 856-862	If an object is an instance of river port, then there exists another object such that the other object is an instance of river and the other object is an instance of waterway and the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5639-5644	If an object is an instance of rapids, then there exists another object such that the other object is an instance of river and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5524-5531	If an object is an instance of river system, then there exist another object and a third object such that the other object is an instance of river and the other object is a part of the object and the third object is an instance of static water area and the other object is connected to the third object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5517-5522	If an object is an instance of river system, then there exists another object such that the other object is an instance of river and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5195-5200	If a physical is an instance of estuary, then there exists another physical such that the other physical is an instance of river and the physical is a flows of the other physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5761-5766	If an object is an instance of river bank, then there exists another object such that the other object is an instance of river and the other object meets the object

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: