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
Die Zahl 1 Argument von
eventPartlyLocated
ist ein
fall
von
Process
%n{nicht}
(
domain
eventPartlyLocated
2
Object
)
Merge.kif 4097-4097
Die Zahl 2 Argument von
eventPartlyLocated
ist ein
fall
von
Object
%n{nicht}
(
instance
eventPartlyLocated
CaseRole
)
Merge.kif 4089-4089
eventPartlyLocated
ist ein
fall
von
CaseRole
%n{nicht}
(
instance
eventPartlyLocated
PartialValuedRelation
)
Merge.kif 4090-4090
eventPartlyLocated
ist ein
fall
von
PartialValuedRelation
%n{nicht}
(
subrelation
eventPartlyLocated
involvedInEvent
)
Merge.kif 4117-4117
eventPartlyLocated
ist eine
teilrelation
von
involvedInEvent
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
ist eine
teilrelation
von
eventPartlyLocated
(
subrelation
path
eventPartlyLocated
)
Merge.kif 11074-11074
path
ist eine
teilrelation
von
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
Wenn
Process
ist ein
fall
von
TwoStrokeIntake
%n{nicht} und
Object
ist ein
fall
von
Crankcase
%n{nicht} und
eventPartlyLocated
** Process
and
** Object
,
dann
PartialVacuum
ist ein
attribut
von
** Object
%n{nicht} haelt
waehrend
** Process
%n{nicht}
(=>
(
eventPartlyLocated
?PROC ?OBJ)
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?PROC)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4102-4107
Wenn
eventPartlyLocated
Process
and
Object
,
dann es gibt
** Process
um
** ** Process
ist ein
subProzess
von
** Process
und
eventLocated
** ** Process
and
** Object
(=>
(
eventPartlyLocated
?PROC ?OJB)
(
partlyLocated
?PROC ?OJB))
Merge.kif 4092-4094
Wenn
eventPartlyLocated
Process
and
Object
,
dann
** Process
befindet
sich
teils
an %n{nicht}
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
Wenn
Object
ist ein
fall
von
CarAlarm
%n{nicht} und
** Object
ist ein
fall
von
SelfPoweredRoadVehicle
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht},
dann es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** Object
hat Zweck von
wenn
** entity
ist ein
fall
von
Stealing
%n{nicht} oder
** entity
ist ein
fall
von
Damaging
%n{nicht} und
** ** entity
ist ein
fall
von
Human
%n{nicht} und
** entity
ist der
agent
von
** ** entity
%n{nicht} und
** ** Object
ist ein
patient
von
** entity
%n{nicht} und die
zeit
des Bestehens von
** entity
ist gleich
** ** entity
%n{nicht} und
eventPartlyLocated
** entity
and
** ** entity
,
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
RadiatingSound
%n{nicht} und
** ** entity
ist der
agent
von
** Object
%n{nicht} und
** entity
verursacht
** ** entity
%n{nicht} und
** ** entity
hat Zweck von es gibt
** entity
um
** ** entity
ist ein
fall
von
Human
%n{nicht} und
** ** entity
ist
Near
hinsichlich
** ** entity
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} vergroessert die Wahrscheinlichkeit von
** ** entity
kennt
es gibt
** entity
um
** ** entity
ist ein
fall
von
Stealing
%n{nicht} oder
** ** entity
ist ein
fall
von
Damaging
%n{nicht} und
eventPartlyLocated
** ** entity
and
** ** entity
und
** ** Object
ist ein
patient
von
** ** entity
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} %n{nicht} oder die
zeit
des Bestehens von
** ** entity
beendet
die
zeit
des Bestehens von
** entity
%n{nicht} %n{nicht} %n{nicht}
%n{nicht}
(=>
(
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
Wenn
surfaceWindVelocity
Region
,
LengthMeasure
pro
&2 and
DirectionalAttribute
und
** Region
ist ein
fall
von
WindFlow
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Wind
%n{nicht} und
eventPartlyLocated
** Process
and
** Region
und das
mass
von
** Process
ist
** LengthMeasure
pro
&2 in in der Richtung %n{nicht}
(=>
(
destination
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4113-4115
Wenn
Process
endet an
Object
%n{nicht},
dann
eventPartlyLocated
** Process
and
** Object
(=>
(
origin
?PROCESS ?LOC)
(
eventPartlyLocated
?PROCESS ?LOC))
Merge.kif 4109-4111
Wenn
Process
beginnet an
Object
%n{nicht},
dann
eventPartlyLocated
** Process
and
** 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
Wenn
surfaceWindDirection
Object
and
DirectionalAttribute
,
dann es gibt
Process
und
** Object
um
** Process
ist ein
fall
von
Wind
%n{nicht} und
** ** Object
ist ein
fall
von
Region
%n{nicht} und
eventPartlyLocated
** Process
and
** Object
und
** Process
beginnet an
** ** Object
%n{nicht} und
** ** Object
ist
** DirectionalAttribute
hinsichlich
** Object
%n{nicht}
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