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 引数は
工程
の
instance
では %n
(
domain
eventPartlyLocated
2
Object
)
Merge.kif 4097-4097
eventPartlyLocated
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
eventPartlyLocated
CaseRole
)
Merge.kif 4089-4089
eventPartlyLocated
は
格役割
の
instance
では %n
(
instance
eventPartlyLocated
PartialValuedRelation
)
Merge.kif 4090-4090
eventPartlyLocated
は
部分的価値関係
の
instance
では %n
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4117-4117
eventPartlyLocated
は
involvedInEvent
の
subrelation
では %n
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
は
eventPartlyLocated
の
subrelation
では %n
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11074-11074
path
は
eventPartlyLocated
の
subrelation
では %n
(
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
工程
は
TwoStrokeIntake
の
instance
では %n
オブジェクト
は
Crankcase
の
instance
では %n
eventPartlyLocated
工程
and
オブジェクト
PartialVacuum
は
オブジェクト
の
attribute
では %n は
工程
の
during
holds %n{ない}
(=>
(
eventPartlyLocated
?PROC ?OBJ)
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?PROC)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4102-4107
eventPartlyLocated
工程
and
オブジェクト
工程
工程
は
工程
% の
subprocess
では %n
eventLocated
工程
and
オブジェクト
(=>
(
eventPartlyLocated
?PROC ?OJB)
(
partlyLocated
?PROC ?OJB))
Merge.kif 4092-4094
eventPartlyLocated
工程
and
オブジェクト
工程
は
partly
に
オブジェクト
に 位置して %n
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
オブジェクト
は
CarAlarm
の
instance
では %n
オブジェクト
は
SelfPoweredRoadVehicle
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
エンティティー
,
エンティティー
and
エンティティー
オブジェクト
は
エンティティー
は
Stealing
の
instance
では %n
エンティティー
は
損害を与える
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
オブジェクト
は
エンティティー
の
patient
では %n
エンティティー
の
time
の existence は
エンティティー
と
equal
では %n
eventPartlyLocated
エンティティー
and
エンティティー
エンティティー
エンティティー
は
放射音
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
Near
対
エンティティー
では %n は
エンティティー
の
during
holds %n{ない} は
エンティティー
は
エンティティー
エンティティー
は
Stealing
の
instance
では %n
エンティティー
は
損害を与える
の
instance
では %n
eventPartlyLocated
エンティティー
and
エンティティー
オブジェクト
は
エンティティー
の
patient
では %n は
エンティティー
の
during
holds %n{ない} を
know
s %n{ない}
エンティティー
の
time
の existence は
エンティティー
の
time
の existence を
finish
es %n{ない} の 可能性を
increase
s %n{ない} の 目的 %n{ない}
の 目的 %n{ない}
(=>
(
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
surfaceWindVelocity
地域
,
時間分
per
長さ測定
and
方向属性
地域
は
WindFlow
の
instance
では %n
工程
工程
は
Wind
の
instance
では %n
eventPartlyLocated
工程
and
地域
工程
の
measure
は 方向 の 分の %2
per
1 では %n
(=>
(
destination
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4113-4115
工程
は
オブジェクト
に
end
s %n{ない}
eventPartlyLocated
工程
and
オブジェクト
(=>
(
origin
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4109-4111
工程
は
オブジェクト
から
originate
s %n{ない}
eventPartlyLocated
工程
and
オブジェクト
(=>
(
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
surfaceWindDirection
オブジェクト
and
方向属性
工程
オブジェクト
工程
は
Wind
の
instance
では %n
オブジェクト
は
地域
の
instance
では %n
eventPartlyLocated
工程
and
オブジェクト
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
方向属性
対
オブジェクト
では %n
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