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
如果
水波
是
水波
的
instance
和
波高
那个 水波
and
长度测量
,
然后 有存在
串列
,
水域
,, ,
测量单位
, and 和
实数
这样
那个 长度测量
是
那个 串列
的
member
和
那个 水域
是
水域
的
instance
和
那个 水波
是
located
在
那个 水域
和
那个 测量单位
是
UnitOfLength
的
instance
和
有效波高
那个 水域
,
那个 水波
出现 的
time
and
那个 实数
那个 测量单位
和
那个 实数
equal
4.0 和
标准偏差
那个 串列
(=>
(
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
如果
过程
是
BreakingRecord
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
集合
,
类
,, ,
另一个 过程
,, ,
时点
,, ,
格角色
,, ,
客体
, and 和
实体
这样
那个 集合
是
集合
的
instance
和
那个 施事体
是
那个 集合
的
element
和
那个 类
是
过程
的
subclass
和
那个 客体
是
地区
的
instance
和
那个 时点
是
时点
的
instance
和
那个 实体
是
数量
的
instance
和
那个 另外 过程
是
那个 类
的
instance
和
那个 过程
提到
那个 实体
和
那个 实体
提到
那个 另外 过程
和
那个 施事体
对于
那个 另外 过程
在事件
那个 格角色
plays
角色 和
那个 另外 过程
是
located
在
那个 客体
和 不存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
那个 集合
的
instance
和
那个 另外 实体
不
equal
那个 施事体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 另外 实体
对于
那个 第三 实体
在事件
那个 格角色
plays
角色 和
那个 第三 实体
是
located
在
那个 客体
在
那个 时点
和
那个 过程
出现 的
time
的结束 间的时段
holdsDuring
(=>
(
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
如果
客体
是
FireAlarm
的
instance
和
设备上
是
那个 客体
的
attribute
和
那个 客体
是
located
在
另一个 客体
,
然后 有存在
过程
这样
那个 过程
是
放射声音
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 过程
的 目的 是 有存在
实体
这样
那个 实体
是
一群人
的
instance
和
那个 实体
是
located
在
那个 另外 客体
和
那个 实体
knows
有存在
另一个 实体
这样
那个 另外 实体
是
火
的
instance
和
那个 另外 实体
是
located
在
那个 另外 客体
(=>
(
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
如果
物理
是
SurveillanceSystem
的
instance
和
那个 物理
是
群体
的
member
和
那个 物理
是
另一个 群体
的
member
和
那个 群体
是
located
在
客体
和
那个 群体
是
相机
的
instance
和
那个 另外 群体
是
located
在
另一个 客体
和
那个 客体
不
equal
那个 另外 客体
和
那个 另外 群体
是
VideoDisplay
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
过程
的
instance
和
那个 实体
是
located
在
那个 客体
和
那个 另外 实体
表达
那个 实体
和
相机
是导致
那个 第四 实体
的
instrument
和
那个 另外 实体
是
那个 第四 实体
的
result
和
那个 第三 实体
是
放射光线
的
instance
和
那个 另外 群体
是导致
那个 第三 实体
的
instrument
和
那个 另外 实体
是
那个 第三 实体
的
patient
和
那个 实体
的开始%n在
那个 第四 实体
的开始
before
发生 和
那个 第四 实体
的开始%n在
那个 第三 实体
的开始
before
发生
(=>
(
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
如果
服务
是
WaterTransportationService
的
instance
和
有认知的主事
在
那个 服务
中提供服务 和
沿海和大湖泊货运
是
那个 有认知的主事
的
attribute
,
然后 有存在
过程
,
客体
, and 和
地理区域
这样
那个 过程
%n是
那个 服务
的
subProcess
和
那个 过程
是
水运
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 客体
是
货船
的
instance
和
那个 过程
是
located
在
那个 地理区域
和
那个 地理区域
是
水域
的
instance
和
那个 地理区域
是
美国
的
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
如果
服务
是
WaterTransportationService
的
instance
和
有认知的主事
在
那个 服务
中提供服务 和
沿海和大湖泊客运
是
那个 有认知的主事
的
attribute
,
然后 有存在
过程
,
客体
, and 和
地理区域
这样
那个 过程
%n是
那个 服务
的
subProcess
和
那个 过程
是
水运
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 客体
是
客船
的
instance
和
那个 过程
是
located
在
那个 地理区域
和
那个 地理区域
是
水域
的
instance
和
那个 地理区域
是
美国
的
geographic
次要地区 和 不存在
另一个 实体
这样
那个 另外 实体
是
近海客船
的
instance
和
那个 客体
equal
那个 另外 实体
(=>
(
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
如果
服务
是
WaterTransportationService
的
instance
和
有认知的主事
在
那个 服务
中提供服务 和
深海货运
是
那个 有认知的主事
的
attribute
,
然后 有存在
过程
和
客体
这样
那个 过程
%n是
那个 服务
的
subProcess
和
那个 过程
是
水运
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 客体
是
货船
的
instance
和
那个 过程
是
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
如果
服务
是
WaterTransportationService
的
instance
和
有认知的主事
在
那个 服务
中提供服务 和
深海客运
是
那个 有认知的主事
的
attribute
,
然后 有存在
过程
和
客体
这样
那个 过程
%n是
那个 服务
的
subProcess
和
那个 过程
是
水运
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 客体
是
客船
的
instance
和
那个 过程
是
located
在
世界海洋
和 不存在
另一个 实体
这样
那个 另外 实体
是
近海客船
的
instance
和
那个 客体
equal
那个 另外 实体
(=>
(
and
(
locationMeasuringList
?LIST ?PLACE)
(
inList
?M ?LIST))
(
and
(
instance
?M
Measuring
)
(
eventLocated
?M ?PLACE)))
Weather.kif 1769-1775
如果
量度串列
在
地理区域
(发生)
eventLocated
和
过程
是
那个 量度串列
的
member
,
然后
那个 过程
是
测量
的
instance
和
那个 过程
是
located
在
那个 地理区域
(=>
(
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
如果
过程
prevents
另一个 有点 过程
的发生 和
那个 过程
出现 的
time
equal
时距
和
那个 过程
是
located
在
客体
,
然后 有存在
实体
这样
那个 实体
是
另一个 有点 过程
的
instance
和
那个 实体
是
located
在
那个 客体
doesn't 在
那个 时距
holdsDuring
(=>
(
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
如果
有点 天然物质
是
有点 有机物体
的
secretes
物质 和
客体
是
有点 有机物体
的
instance
,
然后 有存在
过程
和
实体
这样
那个 过程
是
生物过程
的
instance
和
那个 过程
是
located
在
那个 客体
和
那个 实体
是
那个 过程
的
result
和
那个 实体
是
有点 天然物质
的
instance
(=>
(
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
在
地区
期间
时距
是
实数
测量单位
和
那个 测量单位
是
测量单位
的
instance
,
然后 不存在
过程
,
施事体
,, ,
客体
, and 和
另一个 实数
这样
那个 过程
是
看着
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
和
那个 施事体
在
那个 客体
的
横
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 过程
是
located
在
那个 地区
和
那个 施事体
和
那个 客体
的
distance
是
那个 另外 实数
那个 测量单位
和
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
attribute
?AREA
FertileTerrain
)
(
capability
Agriculture
eventLocated
?AREA))
Geography.kif 1831-1833
如果
肥沃的地形
是
客体
的
attribute
,
然后
那个 客体
能够担当
eventLocated
的角色做
农业
(=>
(
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
,
然后 有存在
另一个 客体
和
过程
这样
那个 另外 客体
是
肺泡
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 过程
是
病理过程
的
instance
和
那个 过程
是
located
在
那个 另外 客体
(=>
(
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
,
然后 有存在
另一个 客体
和
过程
这样
那个 另外 客体
是
甲状腺
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 过程
是
病理过程
的
instance
和
那个 过程
是
located
在
那个 另外 客体
(=>
(
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
,
然后
那个 客体
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
头发
的
instance
和
那个 实体
是
那个 另外 实体
的
part
和
那个 另外 实体
是
人类
的
instance
和
那个 第三 实体
是
切开
的
instance
和
那个 实体
是
那个 第三 实体
的
patient
和
那个 第三 实体
是
located
在
那个 客体
和
那个 第四 实体
是
那个 第三 实体
的
agent
和
那个 客体
employs
那个 第四 实体
(=>
(
baptizedplace
?PERSON ?PLACE)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
eventLocated
?BAPTISM ?PLACE))))
Biography.kif 192-198
如果
人类
是在
地区
被
baptizing
,
然后 有存在
过程
这样
那个 过程
是
施洗
的
instance
和
那个 人类
经历了
那个 过程
和
那个 过程
是
located
在
那个 地区
(=>
(
birthplace
?INDIV ?PLACE)
(
exists
(?BIRTH)
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIV)
(
eventLocated
?BIRTH ?PLACE))))
Mid-level-ontology.kif 24256-24262
如果
客体
是
动物
的
birthplace
,
然后 有存在
过程
这样
那个 过程
是
出生
的
instance
和
那个 动物
经历了
那个 过程
和
那个 过程
是
located
在
那个 客体
(=>
(
burialplace
?INDIV ?PLACE)
(
exists
(?BURIAL)
(
and
(
instance
?BURIAL
Burial
)
(
patient
?BURIAL ?INDIV)
(
eventLocated
?BURIAL ?PLACE))))
Biography.kif 208-214
如果
动物
是在
客体
ubried
,
然后 有存在
过程
这样
那个 过程
是
Burial
的
instance
和
那个 动物
是
那个 过程
的
patient
和
那个 过程
是
located
在
那个 客体
(=>
(
deathplace
?P ?L)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
eventLocated
?D ?L))))
Mid-level-ontology.kif 24300-24306
如果
客体
是
动物
的
deathplace
,
然后 有存在
过程
这样
那个 过程
是
死亡
的
instance
和
那个 动物
经历了
那个 过程
和
那个 过程
是
located
在
那个 客体
(=>
(
environmentalProblemTypeInArea
?AREA ?PROBLEM)
(
exists
(?EVENT)
(
and
(
instance
?EVENT ?PROBLEM)
(
eventLocated
?EVENT ?AREA))))
Geography.kif 2463-2468
如果
有点 物理
是在地区
地理区域
的
environmental
问题类别,
然后 有存在
过程
这样
那个 过程
是
有点 物理
的
instance
和
那个 过程
是
located
在
那个 地理区域
(=>
(
eventLocated
?PROCESS ?OBJ)
(
forall
(?SUB)
(=>
(
subProcess
?SUB ?PROCESS)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4127-4132
如果
过程
是
located
在
客体
,
然后 对所有
另一个 过程
如果
那个 另外 过程
%n是
那个 过程
的
subProcess
,
然后
那个 另外 过程
是
located
在
那个 客体
(=>
(
eventPartlyLocated
?PROC ?OBJ)
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?PROC)
(
eventLocated
?SUB ?OBJ))))
Merge.kif 4102-4107
如果
过程
是
partly
located
在
客体
,
然后 有存在
另一个 过程
这样
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
是
located
在
那个 客体
(=>
(
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
如果
过程
hinders
另一个 有点 过程
,
然后 有存在
实体
和
另一个 实体
这样
那个 过程
出现 的
time
equal
那个 另外 实体
和
那个 过程
是
located
在
那个 实体
减少 有存在
第三 实体
这样
那个 第三 实体
是
另一个 有点 过程
的
instance
和
那个 第三 实体
是
located
在
那个 实体
在
那个 另外 实体
holdsDuring
发生的机率
(=>
(
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
如果
有点 过程
的例子
hinder
另一个 有点 过程
的
instances
,
然后 对所有
实体
和
另一个 实体
有存在
第三 实体
这样
那个 第三 实体
是
有点 过程
的
instance
和
那个 第三 实体
是
located
在
那个 另外 实体
在
那个 实体
holdsDuring
减少 有存在
第四 实体
这样
那个 第四 实体
是
另一个 有点 过程
的
instance
和
那个 第四 实体
是
located
在
那个 另外 实体
在
那个 实体
holdsDuring
发生的机率
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