Upstream | ![]() |
appearance as argument number 1 |
![]() |
(instance Upstream PositionalAttribute) | Geography.kif 5590-5590 | Upstream は 位置属性 の instance では |
(oppositeDirection Upstream Downstream) | Geography.kif 5593-5593 | oppositeDirection Upstream and Downstream |
appearance as argument number 2 |
![]() |
(subAttribute Upwind Upstream) | Weather.kif 262-262 | Upwind は Upstream の subattribute では |
(termFormat ChineseLanguage Upstream "上游") | domainEnglishFormat.kif 60656-60656 | Upwind は Upstream の subattribute では |
(termFormat ChineseTraditionalLanguage Upstream "上游的") | domainEnglishFormat.kif 60655-60655 | Upwind は Upstream の subattribute では |
(termFormat EnglishLanguage Upstream "upstream") | domainEnglishFormat.kif 60654-60654 | Upwind は Upstream の subattribute では |
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 31685-31694 |
consequent |
![]() |
(=> (flows ?FLUID1 ?FLUID2) (orientation ?FLUID1 ?FLUID2 Upstream)) |
Geography.kif 5579-5581 |
![]() |
![]() |