part
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
?P)))
(
instance
?PI ?P)
(
part
?PI ?H)
(
hasPurpose
?PI ?F))
(
modalAttribute
(
not
?F)
Likely
))
Merge.kif 18225-18235
如果
ImpairedBodyPartFn
类
是
客体
的
attribute
在
时间位置
holdsDuring
和
那个 类
I 是
那个 类
的
instance
和
那个 类
I 是
那个 客体
的
part
和
那个 类
I 的 目的 是
公式
,
然后
那个 公式
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
如果
客体
的
measure
是
函数量
在
时间位置
holdsDuring
和
engineIdleSpeed
内燃机
and
那个 函数量
和
另一个 客体
是
汽车
的
instance
和
那个 内燃机
是
那个 另外 客体
的
part
和
那个 客体
是
那个 内燃机
的
part
,
然后 不存在
实体
和
另一个 实体
这样
那个 实体
在
那个 时间位置
时段内发生 和
那个 实体
是
Pushing
的
instance
和
那个 实体
在
那个 另外 实体
结束 和
那个 另外 实体
是
那个 另外 客体
的
part
的声明 has
容易
的语气
(=>
(
and
(
holdsDuring
?T
(
possesses
?PERSON ?OBJ))
(
part
?P ?OBJ))
(
holdsDuring
?T
(
possesses
?PERSON ?P)))
Merge.kif 4257-4263
如果
实体
possesses
客体
在
时间位置
holdsDuring
和
另一个 客体
是
那个 客体
的
part
,
然后
那个 实体
possesses
那个 另外 客体
在
那个 时间位置
holdsDuring
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
如果
洞
是
自身连接物体
内的
hole
和
那个 自身连接物体
是
另一个 自身连接物体
的
part
,
然后
那个 洞
和
那个 另外 自身连接物体
重叠 或
那个 洞
是
那个 另外 自身连接物体
内的
hole
(=>
(
and
(
instance
?A
(
BodyAreaFn
?OC))
(
instance
?H
Animal
)
(
part
?A ?H))
(
exists
(?O)
(
and
(
instance
?O ?OC)
(
orientation
?A ?O
Near
)
(
part
?O ?H))))
Medicine.kif 6237-6246
如果
客体
是
BodyAreaFn
有点 身体部位
的
instance
和
另一个 客体
是
动物
的
instance
和
那个 客体
是
那个 另外 客体
的
part
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
有点 身体部位
的
instance
和
那个 客体
在
那个 第三 客体
的
近
和
那个 第三 客体
是
那个 另外 客体
的
part
(=>
(
and
(
instance
?A
AegilopsGrass
)
(
part
?C ?A)
(
instance
?C ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 3840-3845
如果
客体
是
AegilopsGrass
的
instance
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 另外 客体
LASS 的
instance
,
然后
那个 另外 客体
LASS 是
DiploidCell
的
subclass
(=>
(
and
(
instance
?A
Americano
)
(
part
?E ?A)
(
part
?W ?A)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90.0
CelsiusDegree
))
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)))
Food.kif 1321-1332
如果
客体
是
Americano
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
饮用水
的
instance
和
那个 另外 物质
的
measure
是 90.0
摄氏度
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15
(=>
(
and
(
instance
?A
Animal
)
(
instance
?S
AnimalShell
)
(
part
?S ?A))
(
or
(
instance
?A
Invertebrate
)
(
instance
?A
Reptile
)))
Mid-level-ontology.kif 11531-11538
如果
客体
是
动物
的
instance
和
另一个 客体
是
动物壳
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 客体
是
无脊椎动物
的
instance
或
那个 客体
是
爬虫类
的
instance
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
如果
客体
是
Antacid
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
另一个 客体
是
胃
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 客体
contains
第三 客体
和
那个 第三 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
before
holdsDuring
和
那个 另外 客体
contains
第四 客体
和
那个 第四 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
after
holdsDuring
和
phMeasure
那个 第三 客体
and
实数
和
phMeasure
那个 第四 客体
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?A
AntibodyCOVIDTest
)
(
instrument
?M ?A)
(
instance
?M
Measuring
)
(
patient
?M ?H)
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))
(
modalAttribute
(
knows
?H
(
exists
(?CA)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H))))
Likely
))
Medicine.kif 2763-2777
如果
客体
是
AntibodyCOVIDTest
的
instance
和
那个 客体
是导致
过程
的
instrument
和
那个 过程
是
测量
的
instance
和
另一个 客体
是
那个 过程
的
patient
和
第三 客体
是
COVIDAntibody
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
,
然后
那个 另外 客体
knows
有存在
那个 第三 客体
这样
那个 第三 客体
是
COVIDAntibody
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
的声明 has
容易
的语气
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
如果
客体
是
盔甲
的
instance
和
那个 客体
是
另一个 客体
的
part
或
那个 客体
接上
那个 另外 客体
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
维护
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
经历了
那个 实体
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
如果
客体
是
盔甲
的
instance
和
那个 客体
是
另一个 客体
的
part
或
那个 客体
接上
那个 另外 客体
,
然后
那个 客体
的 目的 是 不存在
实体
这样
那个 实体
是
损坏
的
instance
和
那个 客体
是导致
那个 实体
的
instrument
和
那个 另外 客体
经历了
那个 实体
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
如果
过程
是
LocalAnesthetizing
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
身体部位
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
那个 过程
的
patient
,
然后
PainFn
那个 客体
不 是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
如果
客体
是
ProtonPumpInhibitor
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
另一个 客体
是
胃
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 客体
contains
第三 客体
和
那个 第三 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
before
holdsDuring
和
那个 另外 客体
contains
第四 客体
和
那个 第四 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
after
holdsDuring
和
phMeasure
那个 第三 客体
and
实数
和
phMeasure
那个 第四 客体
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
如果
物理系统
是
汽车
的
instance
和
另一个 物理系统
是
汽车
的
instance
和
客体
是
AutomobileShock
的
instance
和
那个 客体
是
那个 物理系统
的
part
和 不存在
另一个 客体
这样
那个 另外 客体
是
AutomobileShock
的
instance
和
那个 另外 客体
是
那个 另外 物理系统
的
part
和
dampingRatio
那个 物理系统
and
实数
和
dampingRatio
那个 另外 物理系统
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Exoskeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Invertebrate
))
Mid-level-ontology.kif 11675-11680
如果
客体
是
动物
的
instance
和
另一个 客体
是
外骨骼
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 客体
是
无脊椎动物
的
instance
(=>
(
and
(
instance
?ANIMAL
Animal
)
(
instance
?SKELETON
Skeleton
)
(
part
?SKELETON ?ANIMAL))
(
instance
?ANIMAL
Vertebrate
))
Mid-level-ontology.kif 11655-11660
如果
客体
是
动物
的
instance
和
另一个 客体
是
骨架
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 客体
是
脊椎动物
的
instance
(=>
(
and
(
instance
?AS
AirStream
)
(
part
?AIR ?AS))
(
attribute
?AR
Gas
))
Weather.kif 69-73
如果
客体
是
气流
的
instance
和
另一个 客体
是
那个 客体
的
part
,
然后
加油站
是
第三 客体
的
attribute
(=>
(
and
(
instance
?Application
AutomaticApplication
)
(
instance
?System
SoftwareSystem
)
(
part
?Application ?System))
(
part
(
StartupFn
?Application)
(
StartupFn
?System)))
QoSontology.kif 586-591
如果
客体
是
自动申请
的
instance
和
另一个 客体
是
软件系统
的
instance
和
那个 客体
是
那个 另外 客体
的
part
,
然后
那个 客体
的
startup
是
那个 另外 客体
的
startup
的
part
(=>
(
and
(
instance
?B
Breast
)
(
instance
?H
Human
)
(
part
?B ?H))
(
part
?B
(
FrontFn
?H)))
Mid-level-ontology.kif 12848-12854
如果
客体
是
乳房
的
instance
和
自身连接物体
是
人类
的
instance
和
那个 客体
是
那个 自身连接物体
的
part
,
然后
那个 客体
是
那个 自身连接物体
的前面 的
part
(=>
(
and
(
instance
?B
Breast
)
(
part
?B ?H))
(
attribute
?B
Female
))
Mid-level-ontology.kif 12859-12863
如果
客体
是
乳房
的
instance
和
那个 客体
是
另一个 客体
的
part
,
然后
女
是
那个 客体
的
attribute
(=>
(
and
(
instance
?B
Brine
)
(
measure
?B
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?B)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 35.0)
(
lessThanOrEqualTo
?R 260.0)))
Geography.kif 2873-2884
如果
客体
是
Brine
的
instance
和
那个 客体
的
measure
是 1.0
升
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
盐
的
instance
和
那个 另外 客体
的
measure
是
实数
公克
,
然后
那个 实数
是
greaterThan
35.0 和
那个 实数
是
lessThanOrEqualTo
260.0
(=>
(
and
(
instance
?B
VehicleBrake
)
(
instance
?V
Vehicle
)
(
part
?B ?V))
(
hasPurpose
?B
(
exists
(?S)
(
and
(
instance
?S
(
StopFn
Motion
))
(
patient
?S ?V)
(
instrument
?S ?B)))))
Mid-level-ontology.kif 3416-3426
如果
客体
是
车辆制动器
的
instance
和
另一个 客体
是
车辆
的
instance
和
那个 客体
是
那个 另外 客体
的
part
,
然后
那个 客体
的 目的 是 有存在
实体
这样
那个 实体
是
运动
的
stop
的
instance
和
那个 另外 客体
是
那个 实体
的
patient
和
那个 客体
是导致
那个 实体
的
instrument
(=>
(
and
(
instance
?BODY
ReproductiveBody
)
(
part
?BODY ?ORG)
(
instance
?ORG
Organism
))
(
attribute
?ORG
Female
))
Merge.kif 18117-18122
如果
客体
是
繁殖体
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
生物
的
instance
,
然后
女
是
那个 另外 客体
的
attribute
(=>
(
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
如果
客体
是
BrakePedal
的
instance
和
过程
是
Pushing
的
instance
和
另一个 客体
是
车辆
的
instance
和
那个 过程
在
那个 客体
结束 和
那个 过程
是
located
在
那个 另外 客体
和
那个 客体
是
那个 另外 客体
的
part
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
WearingFrictionSurface
的
instance
和
那个 另外 实体
是
摩擦
的
instance
和
那个 实体
是导致
那个 另外 实体
的
instrument
和
那个 过程
causes
那个 另外 实体
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