eventLocated
(=>
(
and
(
instance
?WW
WaterWave
)
(
waveHeight
?WW ?WH))
(
exists
(?LIST ?WA ?U ?SWH)
(
and
(
inList
?WH ?LIST)
(
instance
?WA
WaterArea
)
(
eventLocated
?WW ?WA)
(
instance
?U
UnitOfLength
)
(
significantWaveHeight
?WA
(
WhenFn
?WW)
(
MeasureFn
?SWH ?U))
(
equal
?SWH
(
MultiplicationFn
4.0
(
StandardDeviationFn
?LIST))))))
Weather.kif 1532-1547
例
水波
and
水波
waveHeight
水波
and
LengthMeasure
List
WaterArea
,
UnitOfMeasure
and
RealNumber
在列表中
LengthMeasure
and
List
例
WaterArea
and
WaterArea
水波
是
located
在
WaterArea
例
UnitOfMeasure
and
UnitOfLength
significantWaveHeight
WaterArea
,
何時
水波
and
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
and
乘法
4.0 and
StandardDeviationFn
List
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30030-30060
例
Process
and
BreakingRecord
agent
Process
and
AutonomousAgent
Set
Class
,
Process
,
TimePoint
,
CaseRole
,
Object
and
Entity
例
Set
and
Set
元件
AutonomousAgent
and
Set
子類
Class
and
Process
例
Object
and
Region
例
TimePoint
and
TimePoint
例
Entity
and
Quantity
例
Process
and
Class
參照
Process
and
Entity
參照
Entity
and
Process
AutonomousAgent
對於
Process
在事件
CaseRole
plays
角色
Process
是
located
在
Object
Entity
Entity
例
Entity
and
Set
等於
Entity
and
AutonomousAgent
例
Entity
and
Class
持有期間
時間間隔
TimePoint
and
結束
何時
Process
and
Entity
對於
Entity
在事件
CaseRole
plays
角色
Entity
是
located
在
Object
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26457-26475
例
Object
and
FireAlarm
attribute
Object
and
設備上
位於
Object
and
Object
Process
例
Process
and
RadiatingSound
儀器
Process
and
Object
有目的
Process
and
entity
例
entity
and
一群人
位於
entity
and
Object
知道
entity
and
entity
例
entity
and
火
entity
是
located
在
Object
(=>
(
and
(
instance
?X
SurveillanceSystem
)
(
member
?X ?VIDEO)
(
member
?X ?DISPLAY)
(
located
?VIDEO ?LOC1)
(
instance
?VIDEO
Camera
)
(
located
?DISPLAY ?LOC2)
(
not
(
equal
?LOC1 ?LOC2))
(
instance
?DISPLAY
VideoDisplay
))
(
hasPurpose
?X
(
exists
(?PROC ?VID ?RL ?CAPTURE)
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC1)
(
represents
?VID ?PROC)
(
instrument
?CAPTURE
Camera
)
(
result
?CAPTURE ?VID)
(
instance
?RL
RadiatingLight
)
(
instrument
?RL ?DISPLAY)
(
patient
?RL ?VID)
(
before
(
BeginFn
?PROC)
(
BeginFn
?CAPTURE))
(
before
(
BeginFn
?CAPTURE)
(
BeginFn
?RL))))))
Mid-level-ontology.kif 26973-26999
例
Physical
and
SurveillanceSystem
會員
Physical
and
Collection
會員
Physical
and
Collection
位於
Collection
and
Object
例
Collection
and
相機
位於
Collection
and
Object
等於
Object
and
Object
例
Collection
and
VideoDisplay
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
Process
entity
是
located
在
Object
代表
entity
and
entity
儀器
entity
and
相機
結果
entity
and
entity
例
entity
and
RadiatingLight
儀器
entity
and
Collection
患者
entity
and
entity
之前
開始
entity
and
開始
entity
之前
開始
entity
and
開始
entity
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
attribute
CognitiveAgent
and
沿海和大湖泊貨運
Process
Object
and
GeographicArea
子過程
Process
and
服務
例
Process
and
水運
儀器
Process
and
Object
例
Object
and
貨船
Process
是
located
在
GeographicArea
例
GeographicArea
and
WaterArea
GeographicArea
是
美國
的
geographic
次要地區
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesPassengerTransportation
))
(
exists
(?CRUISE ?SHIP ?WATER)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8207-8225
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
attribute
CognitiveAgent
and
沿海和大湖泊客運
Process
Object
and
GeographicArea
子過程
Process
and
服務
例
Process
and
水運
儀器
Process
and
Object
例
Object
and
客船
Process
是
located
在
GeographicArea
例
GeographicArea
and
WaterArea
GeographicArea
是
美國
的
geographic
次要地區
Entity
例
Entity
and
近海客船
等於
Object
and
Entity
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaFreightTransportation
))
(
exists
(?FREIGHT ?SHIP)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT
WorldOcean
))))
naics.kif 8139-8150
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
attribute
CognitiveAgent
and
深海貨運
Process
Object
子過程
Process
and
服務
例
Process
and
水運
儀器
Process
and
Object
例
Object
and
貨船
Process
是
located
在
世界海洋
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
DeepSeaPassengerTransportation
))
(
exists
(?CRUISE ?SHIP)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE
WorldOcean
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8159-8175
例
服務
and
WaterTransportationService
服務提供者
服務
and
CognitiveAgent
attribute
CognitiveAgent
and
深海客運
Process
Object
子過程
Process
and
服務
例
Process
and
水運
儀器
Process
and
Object
例
Object
and
客船
Process
是
located
在
世界海洋
Entity
例
Entity
and
近海客船
等於
Object
and
Entity
(=>
(
and
(
locationMeasuringList
?LIST ?PLACE)
(
inList
?M ?LIST))
(
and
(
instance
?M
Measuring
)
(
eventLocated
?M ?PLACE)))
Weather.kif 1769-1775
locationMeasuringList
MeasuringList
and
GeographicArea
在列表中
Process
and
MeasuringList
例
Process
and
Measuring
Process
是
located
在
GeographicArea
(=>
(
and
(
prevents
?X ?P)
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
not
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?P)
(
eventLocated
?Y ?L))))))
Merge.kif 4376-4386
防止
Process
and
Process
等於
何時
Process
and
TimeInterval
Process
是
located
在
Object
持有期間
TimeInterval
and
entity
例
entity
and
Process
entity
是
located
在
Object
(=>
(
and
(
secretesSubstance
?O ?S)
(
instance
?I1 ?O))
(
exists
(?P ?I2)
(
and
(
instance
?P
BiologicalProcess
)
(
eventLocated
?P ?I1)
(
result
?P ?I2)
(
instance
?I2 ?S))))
Mid-level-ontology.kif 12211-12220
天然物質
是
OrganicObject
的
secretes
物質
例
Object
and
OrganicObject
Process
Entity
例
Process
and
BiologicalProcess
Process
是
located
在
Object
結果
Process
and
Entity
例
Entity
and
天然物質
(=>
(
and
(
visibilityInMeteorology
?Area ?Time
(
MeasureFn
?Distance ?U))
(
instance
?U
UnitOfMeasure
))
(
not
(
exists
(?Observe ?A ?B ?D2)
(
and
(
instance
?Observe
Looking
)
(
agent
?Observe ?A)
(
patient
?Observe ?B)
(
orientation
?A ?B
Horizontal
)
(
during
(
WhenFn
?Observe) ?Time)
(
eventLocated
?Observe ?Area)
(
distance
?A ?B
(
MeasureFn
?D2 ?U))
(
greaterThan
?D2 ?Distance)))))
Weather.kif 2709-2726
visibility
在
Region
期間
TimeInterval
是
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfMeasure
Process
AutonomousAgent
,
Object
and
RealNumber
例
Process
and
看著
agent
Process
and
AutonomousAgent
患者
Process
and
Object
方位
AutonomousAgent
,
Object
and
橫
期間
何時
Process
and
TimeInterval
Process
是
located
在
Region
距離
AutonomousAgent
,
Object
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
attribute
?AREA
FertileTerrain
)
(
capability
Agriculture
eventLocated
?AREA))
Geography.kif 1831-1833
attribute
Object
and
肥沃的地形
能力
農業
,
eventLocated
and
Object
(=>
(
attribute
?H
Emphysema
)
(
exists
(?L ?P)
(
and
(
instance
?L
Alveolus
)
(
part
?L ?H)
(
instance
?P
PathologicProcess
)
(
eventLocated
?P ?L))))
Mid-level-ontology.kif 6004-6011
attribute
Object
and
氣腫
Object
Process
例
Object
and
肺泡
部分
Object
and
Object
例
Process
and
PathologicProcess
Process
是
located
在
Object
(=>
(
attribute
?H
Goiter
)
(
exists
(?G ?P)
(
and
(
instance
?G
ThyroidGland
)
(
part
?G ?H)
(
instance
?P
PathologicProcess
)
(
eventLocated
?P ?G))))
Mid-level-ontology.kif 6175-6182
attribute
Object
and
甲狀腺腫
Object
Process
例
Object
and
甲狀腺
部分
Object
and
Object
例
Process
and
PathologicProcess
Process
是
located
在
Object
(=>
(
attribute
?X
BarberShops
)
(
hasPurpose
?X
(
exists
(?HAIR ?HUMAN ?CUT ?STYLIST)
(
and
(
instance
?HAIR
Hair
)
(
part
?HAIR ?HUMAN)
(
instance
?HUMAN
Human
)
(
instance
?CUT
Cutting
)
(
patient
?CUT ?HAIR)
(
eventLocated
?CUT ?X)
(
agent
?CUT ?STYLIST)
(
employs
?X ?STYLIST)))))
naics.kif 11934-11946
attribute
Object
and
理髮店
有目的
Object
and
entity
entity
,
entity
and
entity
例
entity
and
頭髮
部分
entity
and
entity
例
entity
and
Human
例
entity
and
Cutting
患者
entity
and
entity
entity
是
located
在
Object
agent
entity
and
entity
採用
Object
and
entity
(=>
(
baptizedplace
?PERSON ?PLACE)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
eventLocated
?BAPTISM ?PLACE))))
Biography.kif 192-198
Human
是在
Region
被
baptizing
Process
例
Process
and
施洗
體驗者
Process
and
Human
Process
是
located
在
Region
(=>
(
birthplace
?INDIV ?PLACE)
(
exists
(?BIRTH)
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIV)
(
eventLocated
?BIRTH ?PLACE))))
Mid-level-ontology.kif 24256-24262
Object
是
Animal
的
birthplace
Process
例
Process
and
Birth
體驗者
Process
and
Animal
Process
是
located
在
Object
(=>
(
burialplace
?INDIV ?PLACE)
(
exists
(?BURIAL)
(
and
(
instance
?BURIAL
Burial
)
(
patient
?BURIAL ?INDIV)
(
eventLocated
?BURIAL ?PLACE))))
Biography.kif 208-214
Animal
是在
Object
ubried
Process
例
Process
and
Burial
患者
Process
and
Animal
Process
是
located
在
Object
(=>
(
deathplace
?P ?L)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
eventLocated
?D ?L))))
Mid-level-ontology.kif 24300-24306
Object
是
Animal
的
deathplace
Process
例
Process
and
Death
體驗者
Process
and
Animal
Process
是
located
在
Object
(=>
(
environmentalProblemTypeInArea
?AREA ?PROBLEM)
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?PROBLEM)
(
eventLocated
?EVENT ?AREA))))
Geography.kif 2463-2468
Physical
是在地區
GeographicArea
的
environmental
問題類別
Process
例
Process
and
Physical
Process
是
located
在
GeographicArea
(=>
(
eventLocated
?PROCESS ?OBJ)
(
forall
(?SUB)
(=>
(
subProcess
?SUB ?PROCESS)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4127-4132
Process
是
located
在
Object
Process
子過程
Process
and
Process
Process
是
located
在
Object
(=>
(
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
(=>
(
hinders
?X ?PROC)
(
exists
(?L ?T)
(
decreasesLikelihood
(
and
(
equal
(
WhenFn
?X) ?T)
(
eventLocated
?X ?L))
(
holdsDuring
?T
(
exists
(?Y)
(
and
(
instance
?Y ?PROC)
(
eventLocated
?Y ?L)))))))
Merge.kif 4399-4410
Process
hinders
Process
entity
entity
降低可能性
等於
何時
Process
and
entity
Process
是
located
在
entity
and
持有期間
entity
and
entity
例
entity
and
Process
entity
是
located
在
entity
(=>
(
hindersSubclass
?PROC1 ?PROC2)
(
forall
(?TIME ?PLACE)
(
decreasesLikelihood
(
holdsDuring
?TIME
(
exists
(?INST1)
(
and
(
instance
?INST1 ?PROC1)
(
eventLocated
?INST1 ?PLACE))))
(
holdsDuring
?TIME
(
exists
(?INST2)
(
and
(
instance
?INST2 ?PROC2)
(
eventLocated
?INST2 ?PLACE)))))))
Merge.kif 4319-4332
Process
的例子
hinder
Process
的
instances
entity
entity
降低可能性
持有期間
entity
and
entity
例
entity
and
Process
entity
是
located
在
entity
and
持有期間
entity
and
entity
例
entity
and
Process
entity
是
located
在
entity
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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