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

(documentation flows EnglishLanguage "(flows ?FLUID1 ?FLUID2) means that the Physical ?FLUID1 moves towards the Physical ?FLUID2, to which it is connected.")	Geography.kif 5101-5103
(domain flows 1 (ExtensionFn Fluid))	Geography.kif 5090-5090	The number 1 argument of flows is an instance of the class corresponding to fluid
(domain flows 1 Physical)	Geography.kif 5092-5092	The number 1 argument of flows is an instance of physical
(domain flows 2 (ExtensionFn Fluid))	Geography.kif 5091-5091	The number 2 argument of flows is an instance of the class corresponding to fluid
(domain flows 2 Physical)	Geography.kif 5093-5093	The number 2 argument of flows is an instance of physical
(instance flows AsymmetricRelation)	Geography.kif 5088-5088	flows is an instance of asymmetric relation
(instance flows BinaryPredicate)	Geography.kif 5087-5087	flows is an instance of binary predicate
(instance flows TransitiveRelation)	Geography.kif 5089-5089	flows is an instance of transitive relation
(subrelation flows connected)	Geography.kif 5099-5099	flows is a subrelation of connected

appearance as argument number 2

(format ChineseLanguage flows "%2 %n 是 %1 的 flows ")	domainEnglishFormat.kif 1077-1077
(format ChineseTraditionalLanguage flows "%2 %n 是 %1 的 flows ")	domainEnglishFormat.kif 1076-1076
(format EnglishLanguage flows "%2 is %n a flows of %1")	domainEnglishFormat.kif 1075-1075
(subrelation tributary flows)	Geography.kif 5098-5098	tributary is a subrelation of flows
(termFormat ChineseLanguage flows "流动")	domainEnglishFormat.kif 24289-24289	"流动" is the printable form of flows in ChineseLanguage
(termFormat ChineseTraditionalLanguage flows "流動")	domainEnglishFormat.kif 24288-24288	"流動" is the printable form of flows in ChineseTraditionalLanguage
(termFormat EnglishLanguage flows "flows")	domainEnglishFormat.kif 24287-24287	"flows" is the printable form of flows in english language

antecedent

(=> (and (instance ?RIVER River) (instance ?WATER BodyOfWater) (flows ?RIVER ?WATER)) (exists (?MOUTH) (and (instance ?MOUTH RiverMouth) (streamOutfall ?MOUTH ?RIVER) (connected ?MOUTH ?WATER))))	Geography.kif 5322-5331	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
(=> (flows ?FLUID1 ?FLUID2) (connected ?FLUID1 ?FLUID2))	Geography.kif 5105-5107	If an object is a flows of another object, then the other object is connected to the object
(=> (flows ?FLUID1 ?FLUID2) (orientation ?FLUID1 ?FLUID2 Upstream))	Geography.kif 5109-5111	If an object is a flows of another object, then the other object is upstream to the object

consequent

(=> (and (instance ?SYSTEM RiverSystem) (instance ?STREAM StreamWaterArea) (part ?STREAM ?SYSTEM)) (exists (?RIVER) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (flows ?STREAM ?RIVER))))	Geography.kif 5195-5204	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
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM ?BRANCH) (and (instance ?STREAM River) (instance ?BRANCH StreamWaterArea) (flows ?BRANCH ?STREAM) (connects ?FORK ?STREAM ?BRANCH))))	Geography.kif 5160-5167	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
(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM1 ?STREAM2) (and (instance ?STREAM1 StreamWaterArea) (instance ?STREAM2 StreamWaterArea) (flows ?STREAM1 ?STREAM2))))	Geography.kif 5152-5158	If an entity is an instance of stream water confluence, then there exist a physical and another physical such that the physical is an instance of stream water area and the other physical is an instance of stream water area and the other physical is a flows of the physical
(=> (instance ?STREAM StreamWaterArea) (exists (?WATER) (and (instance ?WATER BodyOfWater) (not (equal ?WATER ?STREAM)) (flows ?STREAM ?WATER))))	Geography.kif 5079-5085	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
(=> (instance ?WATER Estuary) (exists (?RIVER) (and (instance ?RIVER River) (flows ?RIVER ?ESTUARY))))	Geography.kif 4859-4864	If an entity is an instance of estuary, then there exists a physical such that the physical is an instance of river and another physical is a flows of the physical
(=> (streamOutfall ?MOUTH ?RIVER) (exists (?WATER) (and (instance ?WATER WaterArea) (flows ?RIVER ?WATER) (connected ?MOUTH ?WATER))))	Geography.kif 5354-5360	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners