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
eventLocated
Sigma KEE - eventLocated
eventLocated
appearance as argument number 1
(
documentation
eventLocated
ChineseLanguage
"(
eventLocated
?PROC ?OBJ) 的意思是整个
Process
?PROC 是位于
Object
?OBJ,也就是说所有 ?PROC 的
subProcess
是位于 ?OBJ。")
chinese_format.kif 2115-2116
(
documentation
eventLocated
EnglishLanguage
"(
eventLocated
?PROC ?OBJ) means that the entire
Process
?PROC is located on
Object
?OBJ, meaning that all
subProcess
of ?PROC is located on ?OBJ.")
Merge.kif 4123-4125
(
documentation
eventLocated
JapaneseLanguage
"(
eventLocated
?PROC ?OBJ) とは、
Process
?PROC 全体が
Object
?OBJ 上に配置され、?PROC のすべての
subProcess
が ?OBJ上に配置されるこ とを意味する。")
japanese_format.kif 767-769
(
instance
eventLocated
CaseRole
)
Merge.kif 4120-4120
例
eventLocated
and
CaseRole
(
instance
eventLocated
TotalValuedRelation
)
Merge.kif 4121-4121
例
eventLocated
and
TotalValuedRelation
(
subrelation
eventLocated
eventPartlyLocated
)
Merge.kif 4119-4119
子關係
eventLocated
and
eventPartlyLocated
appearance as argument number 2
(
format
ChineseLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3326-3326
(
format
ChineseTraditionalLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3325-3325
(
format
EnglishLanguage
eventLocated
"%1 is
located
at %2")
domainEnglishFormat.kif 3324-3324
(
termFormat
EnglishLanguage
eventLocated
"event located")
english_format.kif 1845-1845
antecedent
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
attribute
Object
and
CommunalAttribute
例
Object
and
表
例
Process
and
Eating
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
一群人
Process
是
located
在
Object
模態屬性
entity
entity
and
Object
2
例
entity
and
Eating
agent
entity
and
entity
等於
AutonomousAgent
and
entity
例
entity
and
一群人
entity
是
located
在
Object
2
短暫相遇
何時
Process
and
何時
entity
等於
Object
and
Object
2 and
可能性
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?BLOW
VolcanicEruption
)
(
eventLocated
?BLOW ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1865-1870
例
Object
and
GeographicArea
例
Process
and
火山爆發
Process
是
located
在
Object
attribute
Object
and
地質穩定
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?SHAKING
EarthTremor
)
(
eventLocated
?SHAKING ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1872-1877
例
Object
and
GeographicArea
例
Process
and
地震
Process
是
located
在
Object
attribute
Object
and
地質穩定
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 892-898
例
Region
and
GeographicArea
例
Process
and
天氣晴朗
Process
是
located
在
Region
NonnegativeRealNumber
Region
少於
NonnegativeRealNumber
and 0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 882-890
例
Region
and
GeographicArea
例
Process
and
天氣晴朗
Process
是
located
在
Region
NonnegativeRealNumber
NonnegativeRealNumber
Region
少於
NonnegativeRealNumber
and 0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
greaterThan
?FRACTION 0.7))
Weather.kif 943-949
例
Region
and
GeographicArea
例
Process
and
陰雲密布的天氣
Process
是
located
在
Region
NonnegativeRealNumber
Region
比較多
NonnegativeRealNumber
and 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThan
?FRACTION 0.7))))
Weather.kif 933-941
例
Region
and
GeographicArea
例
Process
and
陰雲密布的天氣
Process
是
located
在
Region
NonnegativeRealNumber
NonnegativeRealNumber
Region
比較多
NonnegativeRealNumber
and 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 917-925
例
Region
and
GeographicArea
例
Process
and
部分多雲的天氣
Process
是
located
在
Region
NonnegativeRealNumber
Region
大於或等於
NonnegativeRealNumber
and 0.3
小於或等於
NonnegativeRealNumber
and 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7))))
Weather.kif 906-915
例
Region
and
GeographicArea
例
Process
and
部分多雲的天氣
Process
是
located
在
Region
NonnegativeRealNumber
NonnegativeRealNumber
Region
大於或等於
NonnegativeRealNumber
and 0.3
小於或等於
NonnegativeRealNumber
and 0.7
(=>
(
and
(
instance
?AS
ArtSchool
)
(
instance
?P
EducationalProcess
)
(
eventLocated
?P ?AS))
(
exists
(?M ?ART)
(
and
(
instance
?M
Making
)
(
patient
?M ?ART)
(
instance
?ART
ArtWork
)
(
refers
?P ?M))))
Mid-level-ontology.kif 16766-16776
例
Object
and
藝術學校
例
Process
and
EducationalProcess
Process
是
located
在
Object
Process
Entity
例
Process
and
Making
患者
Process
and
Entity
例
Entity
and
ArtWork
參照
Process
and
Process
(=>
(
and
(
instance
?BP
BrakePedal
)
(
instance
?P
Pushing
)
(
instance
?V
Vehicle
)
(
destination
?P ?BP)
(
eventLocated
?P ?V)
(
part
?BP ?V))
(
hasPurpose
?BP
(
exists
(?FS ?F)
(
and
(
instance
?FS
WearingFrictionSurface
)
(
instance
?F
Friction
)
(
instrument
?F ?FS)
(
causes
?P ?F)))))
Cars.kif 693-707
例
Object
and
BrakePedal
例
Process
and
Pushing
例
Object
and
車輛
目的地
Process
and
Object
Process
是
located
在
Object
部分
Object
and
Object
有目的
Object
and
entity
entity
例
entity
and
WearingFrictionSurface
例
entity
and
摩擦
儀器
entity
and
entity
原因
Process
and
entity
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
例
Process
and
CateringService
agent
Process
and
AutonomousAgent
目的地
Process
and
Process
UST
位於
AutonomousAgent
and
Object
AutonomousAgent
是
Process
UST 的
customer
Process
Entity
and
Process
例
Process
and
Cooking
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
患者
Process
and
Entity
例
Process
and
Eating
agent
Process
and
Process
UST
Process
是
located
在
Object
等於
Object
and
Object
(=>
(
and
(
instance
?CS
CyclonicStorm
)
(
instance
?AS
AirStream
)
(
eventLocated
?CS ?AS))
(
attribute
?AS
Cylinder
))
Weather.kif 572-577
例
Process
and
氣旋風暴
例
Object
and
氣流
Process
是
located
在
Object
attribute
Object
and
圓筒
(=>
(
and
(
instance
?DESERTIFICATION
Desertification
)
(
eventLocated
?DESERTIFICATION ?AREA))
(
exists
(?A1 ?A2)
(
and
(
instance
?A1
ArableLand
)
(
instance
?A2
Desert
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A1))
(
holdsDuring
(
EndFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A2)))))
Weather.kif 2492-2505
例
Process
and
荒漠化
Process
是
located
在
Object
Entity
Entity
例
Entity
and
耕地
例
Entity
and
沙漠
持有期間
開始
何時
Process
and
在空間上重疊
Object
and
Entity
持有期間
結束
何時
Process
and
在空間上重疊
Object
and
Entity
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2471-2482
例
TimeInterval
and
乾旱
TimeInterval
是
located
在
Object
TimeInterval
Object
例
TimeInterval
and
下雨
例
Object
and
Region
TimeInterval
是
located
在
Object
在空間上重疊
Object
and
Object
暫時重疊
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
例
Process
and
塵暴
例
Object
and
GeographicArea
Process
是
located
在
Object
持有期間
何時
Process
and
模態屬性
attribute
Object
and
BadAirQuality
and
容易
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
例
Object
and
EngineCylinder
例
HoleRegion
and
Crankcase
例
Physical
and
Piston
例
Process
and
TwoStrokeTransfer
持有期間
Process
and
位於
Physical
and
Object
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
有目的
Physical
and
持有期間
Process
and
部分填補
Physical
and
HoleRegion
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
例
Physical
and
Piston
例
Process
and
TwoStrokeIntake
持有期間
Process
and
位於
Physical
and
Object
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
有目的
Physical
and
持有期間
Process
and
部分填補
Physical
and
HoleRegion
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
例
Entity
and
EngineChoke
持有期間
Process
and
attribute
Entity
and
設備上
持有期間
Process
and
attribute
Entity
and
設備關閉
例
SelfConnectedObject
and
EngineCylinder
ConstantQuantity
是
SelfConnectedObject
的
capacity
例
Process
and
FourStrokeCompression
例
Process
and
FourStrokeCompression
Process
是
located
在
SelfConnectedObject
Process
是
located
在
SelfConnectedObject
例
Object
and
空氣
例
Object
and
汽油
部分
Object
and
ConstantQuantity
IX1
部分
Object
and
ConstantQuantity
IX1
測量
ConstantQuantity
IX1 and
ConstantQuantity
例
Object
and
空氣
例
Object
and
汽油
部分
Object
and
ConstantQuantity
IX2
部分
Object
and
ConstantQuantity
IX2
測量
ConstantQuantity
IX2 and
ConstantQuantity
例
UnitOfMeasure
and
UnitOfMeasure
測量
Object
and
測量
Object
M and
UnitOfMeasure
測量
Object
and
測量
Object
M and
UnitOfMeasure
測量
Object
and
測量
Object
M and
UnitOfMeasure
測量
Object
and
測量
Object
M and
UnitOfMeasure
比較多
部
Object
M and
Object
M and
部
Object
M and
Object
M
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1898-1917
例
Process
and
EngineCycle
例
Object
and
內燃機
例
Object
and
CombustionChamber
部分
Object
and
Object
Process
是
located
在
Object
例
Entity
and
UnitOfVolume
持有期間
何時
Process
and
maxCylinderVolume
Object
and
測量
RealNumber
and
Entity
RealNumber
TimeInterval
期間
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
測量
Object
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1868-1887
例
Process
and
EngineCycle
例
Object
and
內燃機
例
Object
and
CombustionChamber
部分
Object
and
Object
Process
是
located
在
Object
例
Entity
and
UnitOfVolume
持有期間
何時
Process
and
minCylinderVolume
Object
and
測量
RealNumber
and
Entity
RealNumber
TimeInterval
期間
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
測量
Object
and
測量
RealNumber
and
Entity
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1943-1965
例
Process
and
EngineCycle
例
發動機
and
內燃機
例
Object
and
Piston
例
UnitOfMeasure
and
UnitOfLength
部分
Object
and
發動機
患者
Process
and
Object
Process
是
located
在
發動機
pistonStroke
發動機
and
測量
RealNumber
and
UnitOfMeasure
TimeInterval
TimeInterval
,
Physical
,
Physical
and
RealNumber
期間
TimeInterval
and
何時
Process
期間
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
位於
Object
and
Physical
持有期間
TimeInterval
and
位於
Object
and
Physical
距離
Physical
,
Physical
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?F
Flooding
)
(
eventLocated
?F ?P))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 17585-17600
例
Process
and
洪水
Process
是
located
在
Object
RealNumber
RealNumber
and
Entity
例
Entity
and
UnitOfLength
持有期間
開始
何時
Process
and
測量
RealNumber
and
Entity
是
Object
的
water
深度
持有期間
結束
何時
Process
and
測量
RealNumber
and
Entity
是
Object
的
water
深度
比較多
RealNumber
and
RealNumber
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1598-1608
例
Process
and
洪水
例
Object
and
LandArea
Process
是
located
在
Object
例
TimePoint
and
TimePoint
之前
TimePoint
and
何時
Process
模態屬性
持有期間
TimePoint
and
例
Object
and
淹沒的土地面積
and
較不可能
(=>
(
and
(
instance
?F
FourStrokeCombustion
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?CO)
(
and
(
instance
?CO
Combustion
)
(
subProcess
?CO ?F))))
Cars.kif 207-217
例
Process
and
FourStrokeCombustion
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
Object
O
例
Object
O and
Combustion
子過程
Object
O and
Process
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 16852-16861
Human
的
almaMater
是
中學後
Process
例
Process
and
EducationalProcess
目的地
Process
and
Human
Process
是
located
在
中學後
持有期間
何時
Process
and
attribute
Human
and
學生
(=>
(
and
(
attribute
?M
StudioRecording
)
(
instance
?M
Recording
))
(
exists
(?P ?S)
(
and
(
record
?M ?P)
(
eventLocated
?P ?S)
(
instance
?S
RecordingStudio
))))
Music.kif 392-400
attribute
ContentBearingObject
and
StudioRecording
例
ContentBearingObject
and
Recording
Process
Object
ContentBearingObject
是個
Process
的
record
Process
是
located
在
Object
例
Object
and
RecordingStudio
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
attribute
Object
and
CommunalAttribute
例
Object
and
表
例
Process
and
Eating
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
一群人
Process
是
located
在
Object
模態屬性
entity
entity
and
Object
2
例
entity
and
Eating
agent
entity
and
entity
等於
AutonomousAgent
and
entity
例
entity
and
一群人
entity
是
located
在
Object
2
短暫相遇
何時
Process
and
何時
entity
等於
Object
and
Object
2 and
可能性
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
attribute
CognitiveAgent
and
深海沿岸和大湖泊水運
例
CognitiveAgent
and
運輸公司
服務
Object
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
服務
是
located
在
Object
例
Object
and
WaterArea
位於
CognitiveAgent
and
北美
(=>
(
and
(
attribute
?X
Historical
)
(
instance
?X
City
))
(
exists
(?EV)
(
and
(
instance
?EV
Physical
)
(
attribute
?EV
Historical
)
(
eventLocated
?EV ?X))))
Mid-level-ontology.kif 26594-26602
attribute
Object
and
Historical
例
Object
and
City
Object
例
Object
and
Physical
attribute
Object
and
Historical
Object
是
located
在
Object
(=>
(
and
(
attribute
?X
WheelchairAccessible
)
(
or
(
instance
?X
Building
)
(
instance
?X
Room
)))
(
modalAttribute
(
exists
(?MOTION ?WHEELCHAIR)
(
and
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?WHEELCHAIR)
(
instance
?WHEELCHAIR
Wheelchair
)
(
eventLocated
?MOTION ?X)))
Possibility
))
Mid-level-ontology.kif 26159-26171
attribute
Object
and
WheelchairAccessible
例
Object
and
Building
例
Object
and
Room
模態屬性
entity
entity
例
entity
and
Motion
儀器
entity
and
entity
例
entity
and
Wheelchair
entity
是
located
在
Object
and
可能性
(=>
(
and
(
instance
?BC
BoosterChair
)
(
instance
?H
HumanChild
))
(
hasPurposeForAgent
?BC
(
and
(
attribute
?H
Sitting
)
(
eventLocated
?H ?BC)) ?H))
Dining.kif 840-847
例
Physical
and
BoosterChair
例
AutonomousAgent
and
人類的孩子
有代理人的目的
Physical
,
attribute
AutonomousAgent
and
坐在
AutonomousAgent
是
located
在
Physical
and
AutonomousAgent
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
例
Object
and
Crankshaft
例
Object
and
IntermittentCombustionEngine
部分
Object
and
Object
有目的
Object
and
entity
entity
例
entity
and
爆炸
例
entity
and
旋轉
患者
entity
and
Object
entity
是
located
在
Object
原因
entity
and
entity
(=>
(
and
(
instance
?CRAFT
WaterVehicle
)
(
instance
?EVENT
Transportation
)
(
instrument
?EVENT ?CRAFT))
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
eventLocated
?EVENT ?WATER))))
Mid-level-ontology.kif 3498-3506
例
Object
and
水車
例
Process
and
Transportation
儀器
Process
and
Object
Object
例
Object
and
WaterArea
Process
是
located
在
Object
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2471-2482
例
TimeInterval
and
乾旱
TimeInterval
是
located
在
Object
TimeInterval
Object
例
TimeInterval
and
下雨
例
Object
and
Region
TimeInterval
是
located
在
Object
在空間上重疊
Object
and
Object
暫時重疊
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1275-1296
例
Process
and
塵暴
例
Process
and
風
子過程
Process
and
Process
Transfer
Object
,
Object
,
Object
,
Object
and
RealNumber
例
Object
and
LandArea
Process
是
located
在
Object
測量
RealNumber
and
結速度單位
是
Object
的
surface
風速
比較多
RealNumber
and 30.0
例
Transfer
and
易位
子過程
Transfer
and
Process
objectTransferred
Transfer
and
Object
objectTransferred
Transfer
and
Object
例
Object
and
ParticulateMatter
例
Object
and
砂
例
Object
and
LandArea
目的地
Transfer
and
Object
在空間上重疊
Object
and
Object
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
例
CorpuscularObject
and
Exhaust
材料
汽油
and
CorpuscularObject
例
Transfer
and
Transfer
例
CorpuscularObject
NG and
發動機
起源
Transfer
and
CorpuscularObject
NG
例
Physical
and
CatalyticConverter
目的地
Transfer
and
Physical
objectTransferred
Transfer
and
CorpuscularObject
有目的
Physical
and
entity
例
entity
and
Combustion
儀器
entity
and
Physical
患者
entity
and
CorpuscularObject
entity
是
located
在
Physical
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2573-2587
例
Process
and
疏散
起源
Process
and
Object
agent
Process
and
Organization
Process
Process
A
例
Process
and
Maintaining
Process
是
located
在
Object
子過程
Process
and
Process
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 8154-8162
例
耕地面積
and
園林
栽種於
Plant
and
耕地面積
有目的
耕地面積
and
entity
例
entity
and
RecreationOrExercise
entity
是
located
在
耕地面積
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 655-669
例
Object
and
Gene
位於
Object
and
Object
例
Object
and
Cell
Process
Object
and
Object
例
Process
and
BiologicalProcess
Process
是
located
在
Object
起源
Process
and
Object
結果
Process
and
Object
例
Object
and
Nucleotide
部分
Object
and
Object
例
Object
and
RNA分子
位於
Object
and
Object
(=>
(
and
(
instance
?HS
HeavySurf
)
(
instance
?PLACE
WaterArea
)
(
eventLocated
?HS ?PLACE))
(
exists
(?SWIM ?A)
(
and
(
instance
?SWIM
Swimming
)
(
instance
?A
Human
)
(
agent
?SWIM ?A)
(
eventLocated
?SWIM ?PLACE)
(
holdsDuring
(
WhenFn
?HS)
(
hazardous
?HS ?A)))))
Weather.kif 1579-1592
例
Process
and
高激浪
例
Object
and
WaterArea
Process
是
located
在
Object
Process
AutonomousAgent
例
Process
and
Swimming
例
AutonomousAgent
and
Human
agent
Process
and
AutonomousAgent
Process
是
located
在
Object
持有期間
何時
Process
and
hazardous
Process
and
AutonomousAgent
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
MiscellaneousStoreRetailers
))
(
exists
(?EV ?MEM ?THING ?ST ?P)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?P)
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?ST
RetailStore
)
(
eventLocated
?EV ?ST)
(
instance
?THING
Object
)
(
patient
?EV ?THING))))
naics.kif 7752-7765
例
Collection
and
Organization
attribute
Collection
and
雜貨店零售商
Process
Physical
,
Entity
,
Object
and
AutonomousAgent
會員
Physical
and
Collection
agent
Process
and
AutonomousAgent
例
Process
and
Selling
例
AutonomousAgent
and
Human
例
Object
and
零售店
Process
是
located
在
Object
例
Entity
and
Object
患者
Process
and
Entity
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7877-7893
例
Collection
and
Organization
attribute
Collection
and
非商店零售商
AutonomousAgent
Process
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
Entity
Entity
例
AutonomousAgent
and
Selling
例
Entity
and
Human
例
Entity
and
Object
AutonomousAgent
是
located
在
零售店
目的地
AutonomousAgent
and
Entity
患者
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
Economy.kif 5210-5222
例
Entity
and
ForestProduct
例
Process
and
Manufacture
結果
Process
and
Entity
患者
Process
and
Entity
例
Entity
and
Organism
Process
Object
例
Process
and
農業
結果
Process
and
Entity
Process
是
located
在
Object
例
Object
and
森林
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
例
Process
and
Process
Process
是
located
在
Object
子過程
Process
and
Process
Process
是
located
在
Object
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
例
AutonomousAgent
and
餐廳
例
Object
and
飯廳
attribute
Object
and
PrivateAttribute
擁有
AutonomousAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Process
and
Eating
agent
Process
and
CognitiveAgent
例
CognitiveAgent
and
一群人
模態屬性
entity
entity
AutonomousAgent
是
entity
的
customer
等於
CognitiveAgent
and
entity
例
entity
and
Eating
agent
entity
and
entity
持有期間
何時
Process
and
entity
是
located
在
Object
and
容易
(=>
(
and
(
instance
?SHOCK
Aftershock
)
(
eventLocated
?SHOCK ?PLACE))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
eventLocated
?TREMOR ?PLACE)
(
before
(
WhenFn
?TREMOR)
(
WhenFn
?SHOCK)))))
Geography.kif 2328-2338
例
Process
and
餘震
Process
是
located
在
Object
Process
例
Process
and
地震
Process
是
located
在
Object
之前
何時
Process
and
何時
Process
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
例
AutonomousAgent
and
票
擁有
AutonomousAgent
and
Object
CognitiveAgent
是由
AutonomousAgent
的
issued
attribute
CognitiveAgent
and
娛樂賭博和娛樂業
位於
CognitiveAgent
and
Object
CognitiveAgent
confers
規範
entity
例
entity
and
RecreationOrExercise
體驗者
entity
and
Object
entity
是
located
在
Object
對於
允許
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 1651-1672
例
Process
and
龍捲風
例
Process
and
旋轉
例
Object
and
空氣
例
Process
RAN and
易位
子過程
Process
and
Process
子過程
Process
RAN and
Process
患者
Process
RAN and
Object
方向
Process
RAN and
橫
Object
SelfConnectedObject
,
Process
OP,
SelfConnectedObject
,
SelfConnectedObject
and
SelfConnectedObject
例
Object
and
GeographicArea
Process
是
located
在
Object
部分
SelfConnectedObject
and
Object
attribute
SelfConnectedObject
and
ConeSegment
上
Process
OP and
SelfConnectedObject
底部
SelfConnectedObject
and
SelfConnectedObject
例
SelfConnectedObject
and
雲
底部
SelfConnectedObject
and
SelfConnectedObject
空間的符合
Process
OP and
SelfConnectedObject
空間的符合
SelfConnectedObject
and
Object
(=>
(
and
(
instance
?TSC
TwoStrokeCompression
)
(
eventLocated
?TSC ?E)
(
instance
?E
TwoStrokeEngine
))
(
exists
(?C)
(
and
(
instance
?C
Explosion
)
(
during
?C ?TSC)
(
eventLocated
?C ?E))))
Cars.kif 491-500
例
TimeInterval
and
TwoStrokeCompression
TimeInterval
是
located
在
Object
例
Object
and
TwoStrokeEngine
TimeInterval
例
TimeInterval
and
爆炸
期間
TimeInterval
and
TimeInterval
TimeInterval
是
located
在
Object
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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