Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Upstream
Upstream(upstream from)upriver, upstream

appearance as argument number 1
-------------------------


(instance Upstream PositionalAttribute) Mid-level-ontology.kif 32371-32371 Upstream from is an instance of positional attribute
(oppositeDirection Upstream Downstream) Mid-level-ontology.kif 32373-32373 Downstream from is an opposite direction of upstream from

appearance as argument number 2
-------------------------


(subAttribute Upwind Upstream) Mid-level-ontology.kif 32399-32399 Upwind from is a subattribute of upstream from
(termFormat EnglishLanguage Upstream "upstream from") domainEnglishFormat.kif 60647-60647 Upwind from is a subattribute of upstream from
(termFormat ChineseTraditionalLanguage Upstream "上游的") domainEnglishFormat.kif 60648-60648 Upwind from is a subattribute of upstream from
(termFormat ChineseLanguage Upstream "上游") domainEnglishFormat.kif 60649-60649 Upwind from is a subattribute of upstream from

antecedent
-------------------------


(=>
    (orientation ?O1 ?O2 Upstream)
    (exists (?T ?L ?P)
        (and
            (instance ?T Transfer)
            (attribute ?L Liquid)
            (path ?T ?P)
            (origin ?T ?O1)
            (beforeOnPath ?O1 ?O2 ?P ?T)
            (destination ?T ?O2))))		 Mid-level-ontology.kif 32375-32384 If X is upstream from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) liquid is an attribute of W (4) V is path along which Z occurs (5) Z originates at X (6) X before Y on path V during Z (7) Z ends up at Y

consequent
-------------------------


(=>
    (flows ?FLUID1 ?FLUID2)
    (orientation ?FLUID1 ?FLUID2 Upstream))		 Geography.kif 7051-7053 If X is a flows of Y, then Y is upstream from to X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners