Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| windDrivenMotion |
| appearance as argument number 1 |
|
| (documentation windDrivenMotion EnglishLanguage "windDrivenMotion is an instance of BinaryPredicate. In (windDrivenMotion ?W ?WM), ?W is the Wind that causes the Motion of an object located in a Region wherethe wind blows. ") | Weather.kif 291-293 | |
| (documentation windDrivenMotion ChineseLanguage "windDrivenMotion (风力运动) 是一个 BinaryPredicate (二元谓语) 的实例。 在(windDrivenMotion ?W ?WM), ?W 是由 Wind (风)所 causes (导致)位于风在吹Region ()地区上某个object (物体)的Motion (运动)。") | Weather.kif 295-297 | |
| (domain windDrivenMotion 1 Wind) | Weather.kif 299-299 | The number 1 argument of wind driven motion is an instance of wind |
| (domain windDrivenMotion 2 Motion) | Weather.kif 300-300 | The number 2 argument of wind driven motion is an instance of motion |
| (instance windDrivenMotion BinaryPredicate) | Weather.kif 301-301 | wind driven motion is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage windDrivenMotion "%1 causes %2") | Weather.kif 294-294 | |
| (format ChineseLanguage windDrivenMotion "%1 导致 %2") | Weather.kif 298-298 | |
| (termFormat EnglishLanguage windDrivenMotion "wind driven motion") | domainEnglishFormat.kif 10299-10299 | |
| (termFormat ChineseLanguage windDrivenMotion "风力驱动运动") | domainEnglishFormat.kif 10300-10300 |
| antecedent |
|
|
| (=> (windDrivenMotion ?W ?WM) (causes ?W ?WM)) |
Weather.kif 303-305 | If X causes Y, then X causes Y |
|