windDrivenMotion |
appearance as argument number 1 |
(documentation windDrivenMotion ChineseLanguage "windDrivenMotion (风力运动) 是一个 BinaryPredicate (二元谓语) 的实例。 在(windDrivenMotion ?W ?WM), ?W 是由 Wind (风)所 causes (导致)位于风在吹Region ()地区上某个object (物体)的Motion (运动)。") | Weather.kif 323-325 | |
(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 319-321 | |
(domain windDrivenMotion 1 Wind) | Weather.kif 327-327 | Il numero 1 argomenti di windDrivenMotion è un istanza di Wind |
(domain windDrivenMotion 2 Motion) | Weather.kif 328-328 | Il numero 2 argomenti di windDrivenMotion è un istanza di Movimento |
(instance windDrivenMotion BinaryPredicate) | Weather.kif 329-329 | windDrivenMotion è un' istanza di PredicatoBinario |
appearance as argument number 2 |
(format ChineseLanguage windDrivenMotion "%1 导致 %2") | Weather.kif 326-326 | |
(format EnglishLanguage windDrivenMotion "%1 causes %2") | Weather.kif 322-322 | |
(termFormat ChineseLanguage windDrivenMotion "风力驱动运动") | domainEnglishFormat.kif 10300-10300 | |
(termFormat EnglishLanguage windDrivenMotion "wind driven motion") | domainEnglishFormat.kif 10299-10299 |
antecedent |
(=> (windDrivenMotion ?W ?WM) (causes ?W ?WM)) |
Weather.kif 331-333 |