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
eventPartlyLocated
Sigma KEE - eventPartlyLocated
eventPartlyLocated
appearance as argument number 1
(
documentation
eventPartlyLocated
ChineseLanguage
"(
eventPartlyLocated
?PROC ?OBJ) 的意思是
Process
?PROC 的某些
subProcess
是位于
Object
?OBJ。")
chinese_format.kif 2113-2114
(
documentation
eventPartlyLocated
EnglishLanguage
"(
eventPartlyLocated
?PROC ?OBJ) means that some
subProcess
of
Process
?PROC is located in
Object
?OBJ.")
Merge.kif 4099-4100
(
documentation
eventPartlyLocated
JapaneseLanguage
"(
eventPartlyLocated
?PROC ?OBJ)とは、
Process
?PROC のいくつかの
subProcess
が
Object
?OBJ に位置していることを意味する。")
japanese_format.kif 765-766
(
domain
eventPartlyLocated
1
Process
)
Merge.kif 4096-4096
域
eventPartlyLocated
, 1 and
Process
(
domain
eventPartlyLocated
2
Object
)
Merge.kif 4097-4097
域
eventPartlyLocated
, 2 and
Object
(
instance
eventPartlyLocated
CaseRole
)
Merge.kif 4089-4089
例
eventPartlyLocated
and
CaseRole
(
instance
eventPartlyLocated
PartialValuedRelation
)
Merge.kif 4090-4090
例
eventPartlyLocated
and
PartialValuedRelation
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4117-4117
子關係
eventPartlyLocated
and
參與活動
appearance as argument number 2
(
format
ChineseLanguage
eventPartlyLocated
"%1 是
part
ly
located
在 %2 ")
domainEnglishFormat.kif 3330-3330
(
format
ChineseTraditionalLanguage
eventPartlyLocated
"%1 是
part
ly
located
在 %2 ")
domainEnglishFormat.kif 3329-3329
(
format
EnglishLanguage
eventPartlyLocated
"%1 is
part
ly
located
at %2")
domainEnglishFormat.kif 3328-3328
(
subrelation
eventLocated
eventPartlyLocated
)
Merge.kif 4119-4119
子關係
eventLocated
and
eventPartlyLocated
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11074-11074
子關係
路徑
and
eventPartlyLocated
(
termFormat
EnglishLanguage
eventPartlyLocated
"event partly located")
english_format.kif 1843-1843
antecedent
(=>
(
and
(
instance
?TSI
TwoStrokeIntake
)
(
instance
?C
Crankcase
)
(
eventPartlyLocated
?TSI ?C))
(
holdsDuring
?TSI
(
attribute
?C
PartialVacuum
)))
Cars.kif 477-483
例
Process
and
TwoStrokeIntake
例
Object
and
Crankcase
Process
是
partly
located
在
Object
持有期間
Process
and
attribute
Object
and
PartialVacuum
(=>
(
eventPartlyLocated
?PROC ?OBJ)
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?PROC)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4102-4107
Process
是
partly
located
在
Object
Process
子過程
Process
and
Process
Process
是
located
在
Object
(=>
(
eventPartlyLocated
?PROC ?OJB)
(
partlyLocated
?PROC ?OJB))
Merge.kif 4092-4094
Process
是
partly
located
在
Object
部分位於
Process
and
Object
consequent
(=>
(
and
(
instance
?X
CarAlarm
)
(
instance
?CAR
SelfPoweredRoadVehicle
)
(
part
?X ?CAR))
(
exists
(?HARM ?THIEF ?T ?L)
(
hasPurpose
?X
(=>
(
and
(
or
(
instance
?HARM
Stealing
)
(
instance
?HARM
Damaging
))
(
instance
?THIEF
Human
)
(
agent
?HARM ?THIEF)
(
patient
?HARM ?CAR)
(
equal
(
WhenFn
?HARM) ?T)
(
eventPartlyLocated
?HARM ?L))
(
exists
(?ALARM)
(
and
(
instance
?ALARM
RadiatingSound
)
(
agent
?ALARM ?X)
(
causes
?HARM ?ALARM)
(
hasPurpose
?ALARM
(
increasesLikelihood
(
exists
(?WITNESS)
(
and
(
instance
?WITNESS
Human
)
(
holdsDuring
?T
(
orientation
?WITNESS ?L
Near
))))
(
or
(
knows
?WITNESS
(
exists
(?H)
(
and
(
or
(
instance
?H
Stealing
)
(
instance
?H
Damaging
))
(
eventPartlyLocated
?H ?L)
(
holdsDuring
?T
(
patient
?H ?CAR)))))
(
finishes
(
WhenFn
?ALARM)
(
WhenFn
?HARM)))))))))))
Cars.kif 3710-3751
例
Object
and
CarAlarm
例
Object
and
自供電公路車輛
部分
Object
and
Object
entity
entity
,
entity
and
entity
有目的
Object
and
例
entity
and
偷竊行為
例
entity
and
Damaging
例
entity
and
Human
agent
entity
and
entity
患者
entity
and
Object
等於
何時
entity
and
entity
entity
是
partly
located
在
entity
entity
例
entity
and
RadiatingSound
agent
entity
and
Object
原因
entity
and
entity
有目的
entity
and
增加可能性
entity
例
entity
and
Human
持有期間
entity
and
方位
entity
,
entity
and
近
and
知道
entity
and
entity
例
entity
and
偷竊行為
例
entity
and
Damaging
entity
是
partly
located
在
entity
持有期間
entity
and
患者
entity
and
Object
飾面
何時
entity
and
何時
entity
(=>
(
and
(
surfaceWindVelocity
?PLACE
(
SpeedFn
?DIST ?TIME) ?DIRECTION)
(
instance
?PLACE
WindFlow
))
(
exists
(?BLOW)
(
and
(
instance
?BLOW
Wind
)
(
eventPartlyLocated
?BLOW ?PLACE)
(
measure
?BLOW
(
VelocityFn
?DIST ?TIME ?PLACE ?DIRECTION)))))
Weather.kif 115-123
Region
是 對於
DirectionalAttribute
的
surface
風速率
速度
LengthMeasure
and
TimeDuration
例
Region
and
WindFlow
Process
例
Process
and
風
Process
是
partly
located
在
Region
測量
Process
and
速度
LengthMeasure
,
TimeDuration
,
Region
and
DirectionalAttribute
(=>
(
destination
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4113-4115
目的地
Process
and
Object
Process
是
partly
located
在
Object
(=>
(
origin
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4109-4111
起源
Process
and
Object
Process
是
partly
located
在
Object
(=>
(
surfaceWindDirection
?PLACE ?DIR)
(
exists
(?WIND ?FROM)
(
and
(
instance
?WIND
Wind
)
(
instance
?FROM
Region
)
(
eventPartlyLocated
?WIND ?PLACE)
(
origin
?WIND ?FROM)
(
orientation
?FROM ?PLACE ?DIR))))
Weather.kif 178-186
DirectionalAttribute
是
Object
的
surface
風向
Process
Object
例
Process
and
風
例
Object
and
Region
Process
是
partly
located
在
Object
起源
Process
and
Object
方位
Object
,
Object
and
DirectionalAttribute
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