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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 10309-10309
(termFormat EnglishLanguage windDrivenMotion "wind driven motion") domainEnglishFormat.kif 10308-10308

antecedent
-------------------------


(=>
    (windDrivenMotion ?W ?WM)
    (causes ?W ?WM))
Weather.kif 331-333


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



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