part
(=>
(
and
(
instance
?I
Intestine
)
(
instance
?A
Animal
)
(
part
?I ?A))
(
modalAttribute
(
exists
(?E)
(
and
(
instance
?E
EscherichiaColi
)
(
contains
?I ?E)))
Likely
))
Medicine.kif 5490-5500
如果
客体
是
肠
的
instance
和
另一个 客体
是
动物
的
instance
和
那个 客体
是
那个 另外 客体
的
part
,
然后 有存在
实体
这样
那个 实体
是
EscherichiaColi
的
instance
和
那个 客体
contains
那个 实体
的声明 has
容易
的语气
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ)
(
part
?FABRIC ?OBJ)
(
instance
?FABRIC
Fabric
))
(
exists
(?IRON ?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
instance
?IRON
FabricIron
)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 25263-25274
如果
过程
是
Ironing
的
instance
和
客体
是
那个 过程
的
patient
和
另一个 客体
是
那个 客体
的
part
和
那个 另外 客体
是
织品
的
instance
,
然后 有存在
那个 过程
RON 和
另一个 过程
这样
那个 另外 过程
是
加热
的
instance
和
那个 过程
RON 是
那个 另外 过程
的
patient
和
那个 过程
RON 是
FabricIron
的
instance
和
那个 过程
RON 是导致
那个 过程
的
instrument
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5724-5735
如果
过程
是
Itching
的
instance
和
那个 过程
是
located
在
客体
和
那个 客体
是
有认知的主事
的
part
和
那个 有认知的主事
经历了
那个 过程
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 实体
是
Scratching
的
instance
和
那个 实体
出现 的
time
在
那个 过程
出现 的
time
时段内发生 和
那个 实体
是
located
在
那个 客体
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
如果
过程
是
GravesDisease
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
是
人类
的
instance
和
客体
是
甲状腺激素
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 客体
的
measure
是
实数
测量单位
和
另一个 客体
是
人类
的
instance
和
第三 客体
是
甲状腺激素
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
的
measure
是
另一个 实数
那个 测量单位
和
Healthy
是
那个 另外 客体
的
attribute
,
然后
那个 实数
是
greaterThan
那个 另外 实数
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2382-2397
如果
过程
是
HashimotosThyroiditis
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
是
人类
的
instance
和
客体
是
甲状腺激素
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 客体
的
measure
是
实数
测量单位
和
另一个 客体
是
人类
的
instance
和
第三 客体
是
甲状腺激素
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
的
measure
是
另一个 实数
那个 测量单位
和
Healthy
是
那个 另外 客体
的
attribute
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25809-25826
如果
物理
是
KnockLight
的
instance
和
那个 物理
是
located
在
客体
和
那个 客体
是
房间
的
instance
和
另一个 客体
是
门
的
instance
和
那个 另外 客体
是
那个 客体
的
part
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
碰撞
的
instance
和
那个 另外 客体
是
那个 实体
的
patient
和
那个 实体
causes
那个 另外 实体
和
那个 另外 实体
是
放射声音
的
instance
和
那个 另外 客体
是
那个 另外 实体
的
agent
和
那个 另外 实体
causes
那个 第三 实体
和
那个 第三 实体
是
辐射可见光
的
instance
和
那个 物理
是导致
那个 第三 实体
的
instrument
(=>
(
and
(
instance
?L
CocoaLiquor
)
(
weight
?L
(
MeasureFn
100.0
Gram
))
(
instance
?S
CocoaSolid
)
(
part
?S ?L)
(
weight
?S
(
MeasureFn
?X
Gram
))
(
instance
?B
CocoaButter
)
(
part
?B ?L)
(
weight
?B
(
MeasureFn
?Y
Gram
)))
(
and
(
approximateValue
?X 50.0)
(
approximateValue
?Y 50.0)))
Food.kif 2463-2478
如果
自身连接物体
是
CocoaLiquor
的
instance
和 100.0
公克
是
那个 自身连接物体
的
weight
和
另一个 自身连接物体
是
可可粉
的
instance
和
那个 另外 自身连接物体
是
那个 自身连接物体
的
part
和
实数
公克
是
那个 另外 自身连接物体
的
weight
和
第三 自身连接物体
是
可可脂
的
instance
和
那个 第三 自身连接物体
是
那个 自身连接物体
的
part
和
另一个 实数
公克
是
那个 第三 自身连接物体
的
weight
,
然后
approximateValue
那个 实数
and 50.0 和
approximateValue
那个 另外 实数
and 50.0
(=>
(
and
(
instance
?L
Laceration
)
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L))
(
part
?S ?H))
(
exists
(?P)
(
and
(
instance
?P
Poking
)
(
result
?P ?L))))
Medicine.kif 6219-6228
如果
洞
是
Laceration
的
instance
和
客体
是
皮肤
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 客体
是
另一个 客体
的
part
,
然后 有存在
过程
这样
那个 过程
是
刺
的
instance
和
那个 洞
是
那个 过程
的
result
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
如果
客体
是
LeafSpring
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
公路车辆
的
instance
,
然后 有存在
那个 客体
2 这样
那个 客体
2 是
LeafSpring
的
instance
和
那个 客体
2 是
那个 另外 客体
的
part
和
那个 客体
不
equal
那个 客体
2 和
那个 客体
接上
那个 客体
2 的声明 has
容易
的语气
(=>
(
and
(
instance
?L
LongBlack
)
(
part
?E ?L)
(
part
?W ?L)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.06)
(
approximateValue
?V2 0.12)))
Food.kif 1440-1450
如果
客体
是
LongBlack
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
饮用水
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
,
然后
approximateValue
那个 实数
and 0.06 和
approximateValue
那个 另外 实数
and 0.12
(=>
(
and
(
instance
?LA
LeftAtrium
)
(
part
?LA ?H))
(
exists
(?H ?HEART)
(
and
(
equal
?HEART
(
HoleHostFn
?LA))
(
part
?HEART ?H)
(
instance
?HEART
Heart
))))
Medicine.kif 275-283
如果
洞
是
LeftAtrium
的
instance
和
那个 洞
是
客体
的
part
,
然后 有存在
那个 客体
和
那个 客体
EART 这样
那个 客体
EART
equal
洞
那个 洞
的主体 和
那个 客体
EART 是
那个 客体
的
part
和
那个 客体
EART 是
心
的
instance
(=>
(
and
(
instance
?LA
LeftVentricle
)
(
part
?LA ?H))
(
exists
(?H ?HEART)
(
and
(
equal
?HEART
(
HoleHostFn
?LA))
(
part
?HEART ?H)
(
instance
?HEART
Heart
))))
Medicine.kif 291-299
如果
洞
是
LeftVentricle
的
instance
和
那个 洞
是
客体
的
part
,
然后 有存在
那个 客体
和
那个 客体
EART 这样
那个 客体
EART
equal
洞
那个 洞
的主体 和
那个 客体
EART 是
那个 客体
的
part
和
那个 客体
EART 是
心
的
instance
(=>
(
and
(
instance
?LA
RightAtrium
)
(
part
?LA ?H))
(
exists
(?H ?HEART)
(
and
(
equal
?HEART
(
HoleHostFn
?LA))
(
part
?HEART ?H)
(
instance
?HEART
Heart
))))
Medicine.kif 307-315
如果
洞
是
RightAtrium
的
instance
和
那个 洞
是
客体
的
part
,
然后 有存在
那个 客体
和
那个 客体
EART 这样
那个 客体
EART
equal
洞
那个 洞
的主体 和
那个 客体
EART 是
那个 客体
的
part
和
那个 客体
EART 是
心
的
instance
(=>
(
and
(
instance
?LA
RightVentricle
)
(
part
?LA ?H))
(
exists
(?H ?HEART)
(
and
(
equal
?HEART
(
HoleHostFn
?LA))
(
part
?HEART ?H)
(
instance
?HEART
Heart
))))
Medicine.kif 323-331
如果
洞
是
RightVentricle
的
instance
和
那个 洞
是
客体
的
part
,
然后 有存在
那个 客体
和
那个 客体
EART 这样
那个 客体
EART
equal
洞
那个 洞
的主体 和
那个 客体
EART 是
那个 客体
的
part
和
那个 客体
EART 是
心
的
instance
(=>
(
and
(
instance
?LEVEL1
BuildingLevel
)
(
instance
?LEVEL2
BuildingLevel
)
(
instance
?BUILDING
Building
)
(
part
?LEVEL1 ?BUILDING)
(
part
?LEVEL2 ?BUILDING))
(
exists
(?STEPS)
(
and
(
instance
?STEPS
Steps
)
(
connects
?STEPS ?LEVEL1 ?LEVEL2))))
Mid-level-ontology.kif 15096-15106
如果
客体
是
建设水平
的
instance
和
另一个 客体
是
建设水平
的
instance
和
第三 客体
是
建筑物
的
instance
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
是
那个 第三 客体
的
part
,
然后 有存在
第四 客体
这样
那个 第四 客体
是
脚步
的
instance
和
那个 第四 客体
connects
那个 客体
和
那个 另外 客体
(=>
(
and
(
instance
?M
Mixture
)
(
instance
?Z
UnitOfMeasure
)
(
mixtureRatio
?A ?B ?X ?Y ?Z)
(
measure
?M
(
MeasureFn
?T ?Z))
(
part
?A ?M)
(
part
?B ?M)
(
measure
?A
(
MeasureFn
?X ?Z))
(
measure
?B
(
MeasureFn
?Y ?Z)))
(
equal
?T
(
AdditionFn
?X ?Y)))
Food.kif 1248-1262
如果
客体
是
混合物
的
instance
和
测量单位
是
测量单位
的
instance
和
mixtureRatio
物质
,
另一个 物质
,
实数
,
另一个 实数
and
那个 测量单位
和
那个 客体
的
measure
是
第三 实数
那个 测量单位
和
那个 物质
是
那个 客体
的
part
和
那个 另外 物质
是
那个 客体
的
part
和
那个 物质
的
measure
是
那个 实数
那个 测量单位
和
那个 另外 物质
的
measure
是
那个 另外 实数
那个 测量单位
,
然后
那个 第三 实数
equal
(
那个 实数
和
那个 另外 实数
)
(=>
(
and
(
instance
?M
Mutton
)
(
part
?M ?S)
(
instance
?S
Sheep
)
(
age
?S
(
MeasureFn
?A
MonthDuration
)))
(
greaterThanOrEqualTo
?A 12))
Economy.kif 4962-4968
如果
客体
是
羊肉
的
instance
和
那个 客体
是
另一个 客体
的
part
和
那个 另外 客体
是
羊
的
instance
和
那个 另外 客体
的
age
是
实数
月持续时间
,
然后
那个 实数
是
greaterThanOrEqualTo
12
(=>
(
and
(
instance
?MB
MeasuringBreathing
)
(
agent
?MB ?A)
(
instance
?L
Lung
)
(
part
?L ?P)
(
instance
?T
TimeInterval
)
(
during
?T
(
WhenFn
?MB))
(
duration
?T
MinuteDuration
)
(
patient
?MB ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?MB))
(
exists
(?BR)
(
knows
?A
(
breathingRate
?L ?T ?BR)))))
Medicine.kif 466-482
如果
过程
是
MeasuringBreathing
的
instance
和
施事体
是
那个 过程
的
agent
和
客体
是
肺
的
instance
和
那个 客体
是
另一个 客体
的
part
和
时距
是
时距
的
instance
和
那个 时距
在
那个 过程
出现 的
time
时段内发生 和
那个 时距
的
duration
是
分钟
和
那个 另外 客体
是
那个 过程
的
patient
,
然后 有存在
实体
这样
那个 施事体
knows
breathingRate
那个 客体
,
那个 时距
and
那个 实体
在 紧接
那个 过程
出现 的
time
after
holdsDuring
(=>
(
and
(
instance
?N
Nucleotide
)
(
part
?N ?M))
(
or
(
instance
?M
DNAMolecule
)
(
instance
?M
RNAMolecule
)))
VirusProteinAndCellPart.kif 56-62
如果
客体
是
Nucleotide
的
instance
和
那个 客体
是
另一个 客体
的
part
,
然后
那个 另外 客体
是
DNA分子
的
instance
或
那个 另外 客体
是
RNA分子
的
instance
(=>
(
and
(
instance
?O
Organism
)
(
instance
?E
Egg
)
(
attribute
?O
Embryonic
)
(
part
?O ?E))
(
exists
(?Y)
(
and
(
instance
?Y
EggYolk
)
(
hasPurpose
?Y
(
exists
(?I)
(
and
(
instance
?I
Ingesting
)
(
agent
?I ?O)
(
resource
?I ?Y)))))))
Food.kif 2548-2562
如果
客体
是
生物
的
instance
和
另一个 客体
是
蛋
的
instance
和
胚胎
是
那个 客体
的
attribute
和
那个 客体
是
那个 另外 客体
的
part
,
然后 有存在
物理
这样
那个 物理
是
EggYolk
的
instance
和
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
消化
的
instance
和
那个 客体
是
那个 实体
的
agent
和
那个 物理
是
那个 实体
的
resource
(=>
(
and
(
instance
?OBJ
DigitalDataStorageDevice
)
(
part
?PART ?OBJ)
(
instance
?PART
DigitalData
))
(
exists
(?SCHEME ?LIST ?NUM)
(
and
(
codeMapping
?SCHEME ?PART ?NUM)
(
represents
?LIST ?SCHEME)
(=>
(
inList
?NUM ?LIST)
(
instance
?NUM
BinaryNumber
)))))
Media.kif 801-812
如果
客体
是
DigitalDataStorageDevice
的
instance
和
符号串
是
那个 客体
的
part
和
那个 符号串
是
数字数据
的
instance
,
然后 有存在
CodeMap
,
串列
, and 和
实体
这样
那个 符号串
在
那个 CodeMap
denotes
那个 实体
和
那个 串列
表达
那个 CodeMap
和
如果
那个 实体
是
那个 串列
的
member
,
然后
那个 实体
是
二进制数
的
instance
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
如果
过程
是
CeliacDisease
的
instance
和
施事体
经历了
那个 过程
和
客体
是
SmallIntestine
的
instance
和
那个 客体
是
那个 施事体
的
part
,
然后 有存在
实体
这样
那个 实体
是
Diarrhoea
的
instance
和
那个 施事体
经历了
那个 实体
和
那个 过程
causes
那个 实体
的声明 has
容易
的语气
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
如果
过程
是
CeliacDisease
的
instance
和
施事体
经历了
那个 过程
和
客体
是
SmallIntestine
的
instance
和
那个 客体
是
那个 施事体
的
part
,
然后
那个 过程
是
located
在
那个 客体
的声明 has
容易
的语气
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H)
(
instance
?HEART
Heart
)
(
part
?HEART ?H))
(
exists
(?PER)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?H)
(
patient
?PER ?HEART))))
Medicine.kif 2060-2070
如果
过程
是
HeartPalpitations
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
EART 是
心
的
instance
和
那个 施事体
EART 是
那个 施事体
的
part
,
然后 有存在
那个 过程
ER 这样
那个 过程
ER 是
感知
的
instance
和
那个 施事体
经历了
那个 过程
ER 和
那个 施事体
EART 是
那个 过程
ER 的
patient
(=>
(
and
(
instance
?P
ParkingBrake
)
(
instance
?V
Vehicle
)
(
holdsDuring
?T1
(
attribute
?P
DeviceOn
))
(
part
?P ?V))
(
hasPurpose
?P
(
holdsDuring
?T1
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
patient
?T ?V)))))))
Cars.kif 567-580
如果
客体
是
ParkingBrake
的
instance
和
另一个 客体
是
车辆
的
instance
和
设备上
是
那个 客体
的
attribute
在
时间位置
holdsDuring
和
那个 客体
是
那个 另外 客体
的
part
,
然后
那个 客体
的 目的 是 不存在
实体
这样
那个 实体
是
易位
的
instance
和
那个 另外 客体
是
那个 实体
的
patient
在
那个 时间位置
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