Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Upstream

Sigma KEE - Upstream
Upstream

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


(instance Upstream PositionalAttribute) Geography.kif 5120-5120
(oppositeDirection Upstream Downstream) Geography.kif 5123-5123

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


(subAttribute Upwind Upstream) Weather.kif 262-262
(termFormat EnglishLanguage Upstream "upstream") domainEnglishFormat.kif 10535-10535

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 27966-27975

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


(=>
    (flows ?FLUID1 ?FLUID2)
    (orientation ?FLUID1 ?FLUID2 Upstream))
Geography.kif 5109-5111


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners