flows - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - flows

flows

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5437-5439
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5426-5426	The number 1 argument of flows is an instance of the class corresponding to fluid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5428-5428	The number 1 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5427-5427	The number 2 argument of flows is an instance of the class corresponding to fluid
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5429-5429	The number 2 argument of flows is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5424-5424	flows is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5423-5423	flows is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5425-5425	flows is an instance of transitive relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1077-1077
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1076-1076
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1075-1075
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5434-5434	tributary is a subrelation of flows
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24356-24356
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24355-24355
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24354-24354

antecedent

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.	Geography.kif 5442-5444	If an object is a flows of another object, then the other object is connected to the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5446-5448	If an object is a flows of another object, then the other object is upstream to the object

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.	Geography.kif 5489-5496	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 stream water area and the object connects the other object and the third object and the third object is an instance of stream water area and the third object is a flows of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5415-5421	If a physical is an instance of stream water area, then there exists another physical such that the other physical is an instance of body of water and the other physical is not equal to the physical and the other physical is a flows of the physical
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 5693-5699	If a water area is the outfall of a river, then there exists an object such that the object is an instance of water area and the object is a flows of the river and the water area is connected to the object

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