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 Le nombre 1 argument de windDrivenMotion est une instance de Wind
(domain windDrivenMotion 2 Motion) Weather.kif 328-328 Le nombre 2 argument de windDrivenMotion est une instance de d�palcement
(instance windDrivenMotion BinaryPredicate) Weather.kif 329-329 windDrivenMotion est une instance de pr�dicat binaire

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

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