Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 311-313
(
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 307-309
(
domain
windDrivenMotion
1
Wind
)
Weather.kif 315-315
(
domain
windDrivenMotion
2
Motion
)
Weather.kif 316-316
(
instance
windDrivenMotion
BinaryPredicate
)
Weather.kif 317-317
appearance as argument number 2
(
format
ChineseLanguage
windDrivenMotion
"%1 导致 %2")
Weather.kif 314-314
(
format
EnglishLanguage
windDrivenMotion
"%1 causes %2")
Weather.kif 310-310
(
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 319-321
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