| Upstream | |
| appearance as argument number 1 |
|
|
| (instance Upstream PositionalAttribute) | Geography.kif 5134-5134 | instance Upstream and PositionalAttribute |
| (oppositeDirection Upstream Downstream) | Geography.kif 5137-5137 | oppositeDirection Upstream and Downstream |
| appearance as argument number 2 |
|
|
| (subAttribute Upwind Upstream) | Weather.kif 261-261 | subAttribute Upwind and Upstream |
| (termFormat ChineseLanguage Upstream "上游") | domainEnglishFormat.kif 60570-60570 | |
| (termFormat ChineseTraditionalLanguage Upstream "上游的") | domainEnglishFormat.kif 60569-60569 | |
| (termFormat EnglishLanguage Upstream "upstream") | domainEnglishFormat.kif 60568-60568 |
| 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 27997-28006 |
| consequent |
|
|
| (=> (flows ?FLUID1 ?FLUID2) (orientation ?FLUID1 ?FLUID2 Upstream)) |
Geography.kif 5123-5125 |
|
|
|