Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  windDrivenMotion

Sigma KEE - windDrivenMotion
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
(domain windDrivenMotion 2 Motion) Weather.kif 328-328
(instance windDrivenMotion BinaryPredicate) Weather.kif 329-329

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners