Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Downhill
|
|
|
| appearance as argument number 1 |
|
|
| (instance Downhill PositionalAttribute) | Geography.kif 3154-3154 | Downhill from is an instance of positional attribute |
| (documentation Downhill EnglishLanguage "Downhill is a PositionalAttribute that describes the relation between two things, one of which is located down a slope from the other.") | Geography.kif 3157-3159 | Downhill from is an instance of positional attribute |
| (externalImage Downhill "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ Rennanzug_OESV.jpg") | pictureList.kif 5963-5963 | Downhill from is an instance of positional attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Uphill Downhill) | Geography.kif 3155-3155 | Uphill from is the opposite of downhill from |
| (termFormat EnglishLanguage Downhill "downhill from") | domainEnglishFormat.kif 20250-20250 | Uphill from is the opposite of downhill from |
| (termFormat ChineseTraditionalLanguage Downhill "下坡") | domainEnglishFormat.kif 20251-20251 | Uphill from is the opposite of downhill from |
| (termFormat ChineseLanguage Downhill "下坡") | domainEnglishFormat.kif 20252-20252 | Uphill from is the opposite of downhill from |
| consequent |
|
|
| (=> (and (instance ?W FohnWind) (path ?W ?P) (origin ?W ?H) (destination ?W ?L) (beforeOnPath ?H ?L ?P ?W)) (orientation ?L ?H Downhill)) |
Weather.kif 2178-2185 | If X is an instance of Fohn wind, Y is path along which X occurs, X originates at Z, X ends up at W, and Z before W on path Y during X, then W is downhill from to Z |
| (=> (and (instance ?W KatabaticWind) (path ?W ?P) (origin ?W ?H) (destination ?W ?L) (beforeOnPath ?H ?L ?P ?W)) (orientation ?L ?H Downhill)) |
Weather.kif 2501-2508 | If X is an instance of katabatic wind, Y is path along which X occurs, X originates at Z, X ends up at W, and Z before W on path Y during X, then W is downhill from to Z |
|
