Downstream - Sigma Knowledge base Browser

appearance as argument number 1

(instance Downstream PositionalAttribute)	Mid-level-ontology.kif 32372-32372	Downstream from is an instance of positional attribute
(externalImage Downstream "http://upload.wikimedia.org/wikipedia/en/a/af/ Upstream_downstream.JPG")	pictureList.kif 9986-9986	Downstream from is an instance of positional attribute
(externalImage Downstream "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Downstream.jpg")	pictureList.kif 10875-10875	Downstream from is an instance of positional attribute
(externalImage Downstream "http://upload.wikimedia.org/wikipedia/commons/ 8/ 87/ Downstream_Hawaii.jpg")	pictureList.kif 10876-10876	Downstream from is an instance of positional attribute
(externalImage Downstream "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7b/ Hapcheon_river_downstream.jpg")	pictureList.kif 10877-10877	Downstream from is an instance of positional attribute
(externalImage Downstream "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9c/ Yellow_River_Plymouth_downstream.jpg")	pictureList.kif 10878-10878	Downstream from is an instance of positional attribute
(externalImage Downstream "http://upload.wikimedia.org/wikipedia/commons/ 2/ 21/ Yellow_River_Knox_downstream.jpg")	pictureList.kif 10879-10879	Downstream from is an instance of positional attribute

appearance as argument number 2

(oppositeDirection Upstream Downstream)	Mid-level-ontology.kif 32373-32373	Downstream from is an opposite direction of upstream from
(subAttribute Downwind Downstream)	Mid-level-ontology.kif 32417-32417	Downwind from is a subattribute of downstream from
(termFormat EnglishLanguage Downstream "downstream from")	domainEnglishFormat.kif 20268-20268	Downwind from is a subattribute of downstream from
(termFormat ChineseTraditionalLanguage Downstream "下游")	domainEnglishFormat.kif 20269-20269	Downwind from is a subattribute of downstream from
(termFormat ChineseLanguage Downstream "下游")	domainEnglishFormat.kif 20270-20270	Downwind from is a subattribute of downstream from

antecedent

(=>
    (orientation ?O1 ?O2 Downstream)
    (exists (?T ?L ?P)
        (and
            (instance ?T Transfer)
            (attribute ?L Liquid)
            (path ?T ?P)
            (origin ?T ?O2)
            (beforeOnPath ?O2 ?O1 ?P ?T)
            (destination ?T ?O1))))

If X is downstream 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 Y (6) Y before X on path V during Z (7) Z ends up at X