part
(=>
(
and
(
instance
?F
FungalDisease
)
(
attribute
?H ?F))
(
exists
(?FUN)
(
and
(
part
?FUN ?H)
(
instance
?FUN
Fungus
))))
Mid-level-ontology.kif 5879-5886
如果
属性
是
FungalDisease
的
instance
和
那个 属性
是
客体
的
attribute
,
然后 有存在
那个 属性
UN 这样
那个 属性
UN 是
那个 客体
的
part
和
那个 属性
UN 是
菌类
的
instance
(=>
(
and
(
instance
?F
ParasiticDisease
)
(
attribute
?H ?F))
(
exists
(?PAR)
(
and
(
part
?PAR ?H)
(
instance
?PAR
Parasite
))))
Mid-level-ontology.kif 5865-5872
如果
属性
是
ParasiticDisease
的
instance
和
那个 属性
是
客体
的
attribute
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是
Parasite
的
instance
(=>
(
and
(
instance
?FILTER
AbsoluteFilter
)
(
instance
?REMOVE
Removing
)
(
origin
?REMOVE ?GAS)
(
instance
?GAS
GasMixture
)
(
patient
?REMOVE ?PARTICLE)
(
attribute
?PARTICLE
Solid
)
(
instrument
?REMOVE ?FILTER))
(
not
(
part
?PARTICLE ?GAS)))
MilitaryDevices.kif 1379-1389
如果
客体
是
绝对过滤器
的
instance
和
过程
是
移除
的
instance
和
另一个 客体
是
那个 过程
的源头 和
那个 另外 客体
是
混合气体
的
instance
和
第三 客体
是
那个 过程
的
patient
和
固体
是
那个 第三 客体
的
attribute
和
那个 客体
是导致
那个 过程
的
instrument
,
然后
那个 第三 客体
不 是
那个 另外 客体
的
part
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP))
(
hasPurpose
?FP
(
exists
(?GT ?EC)
(
and
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)))))
Cars.kif 1051-1068
如果
客体
是
FuelPump
的
instance
和
另一个 客体
是
汽车
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
过程
是
运输
的
instance
和
另一个 过程
是
汽油
的
instance
和
那个 另外 过程
是
那个 过程
的
patient
和
那个 客体
是导致
那个 另外 过程
的
instrument
,
然后
那个 客体
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
GasTank
的
instance
和
那个 实体
是
那个 另外 客体
的
part
和
那个 另外 实体
是
EngineCylinder
的
instance
和
那个 另外 实体
是
那个 另外 客体
的
part
和
那个 实体
是
那个 过程
的源头 和
那个 过程
在
那个 另外 实体
结束
(=>
(
and
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?FREEZE))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?FREEZE))
(
attribute
?PART
Solid
)))))
Merge.kif 14000-14008
如果
过程
是
结冰
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
part
和
液体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
固体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
如果
客体
是
Gene
的
instance
和
那个 客体
是
located
在
另一个 客体
和
那个 另外 客体
是
细胞
的
instance
,
然后 有存在
过程
,
第三 客体
, and 和
第四 客体
这样
那个 过程
是
生物过程
的
instance
和
那个 过程
是
located
在
那个 另外 客体
和
那个 客体
是
那个 过程
的源头 和
那个 第三 客体
是
那个 过程
的
result
和
那个 第三 客体
是
Nucleotide
的
instance
和
那个 第三 客体
是
那个 第四 客体
的
part
和
那个 第四 客体
是
RNA分子
的
instance
和
那个 第四 客体
是
located
在
那个 另外 客体
(=>
(
and
(
instance
?G
Grinding
)
(
patient
?G ?O)
(
instance
?O
CorpuscularObject
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
exists
(?C)
(
and
(
result
?G ?C)
(
instance
?C
Collection
)
(
forall
(?M)
(=>
(
member
?M ?C)
(
part
?M ?O)))))))
Food.kif 1012-1026
如果
过程
是
Grinding
的
instance
和
实体
是
那个 过程
的
patient
和
那个 实体
是
躯体性物体
的
instance
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
那个 过程
的
result
和
那个 另外 实体
是
群体
的
instance
和 对所有
第三 实体
如果
那个 第三 实体
是
那个 另外 实体
的
member
,
然后
那个 第三 实体
是
那个 实体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?GERD
GERefluxDisease
)
(
experiencer
?GERD ?H))
(
exists
(?T ?S ?E)
(
and
(
instance
?T
Transfer
)
(
origin
?T ?S)
(
instance
?S
Stomach
)
(
instance
?E
Esophagus
)
(
destination
?T ?E)
(
part
?S ?H)
(
part
?E ?H)
(
subProcess
?T ?GERD))))
Medicine.kif 1916-1929
如果
过程
是
GERefluxDisease
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
另一个 过程
,
客体
, and 和
另一个 客体
这样
那个 另外 过程
是
转移
的
instance
和
那个 客体
是
那个 另外 过程
的源头 和
那个 客体
是
胃
的
instance
和
那个 另外 客体
是
Esophagus
的
instance
和
那个 另外 过程
在
那个 另外 客体
结束 和
那个 客体
是
那个 施事体
的
part
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Foot
)
(
instance
?L2
Foot
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12709-12722
如果
客体
是
灵长类动物
的
instance
和
属性
是
疾病或综合症
的
instance
和
那个 属性
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
足
的
instance
和
那个 第三 客体
是
足
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Leg
)
(
instance
?L2
Leg
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 12682-12695
如果
客体
是
灵长类动物
的
instance
和
属性
是
疾病或综合症
的
instance
和
那个 属性
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
腿
的
instance
和
那个 第三 客体
是
腿
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
(=>
(
and
(
instance
?H
Primate
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?H ?D)))
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Lung
)
(
instance
?L2
Lung
)
(
not
(
equal
?L1 ?L2))
(
part
?L1 ?H)
(
part
?L2 ?H))))
Mid-level-ontology.kif 11198-11211
如果
客体
是
灵长类动物
的
instance
和
属性
是
疾病或综合症
的
instance
和
那个 属性
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
肺
的
instance
和
那个 第三 客体
是
肺
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11368-11385
如果
物理
是
HeartAttack
的
instance
和
客体
是
心
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
时距
和
第三 客体
这样
那个 时距
是
液体运动
的
instance
和
objectTransferred
那个 时距
and
那个 第三 客体
和
那个 第三 客体
是
血液
的
instance
和
那个 时距
在
那个 物理
出现 的
time
时段内发生 和
那个 时距
在
那个 另外 客体
结束
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11915-11932
如果
物理
是
Stroke
的
instance
和
客体
是
脑
的
instance
和
那个 物理
是
located
在
那个 客体
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
神经细胞
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
时距
和
第三 客体
这样
那个 时距
是
液体运动
的
instance
和
objectTransferred
那个 时距
and
那个 第三 客体
和
那个 第三 客体
是
血液
的
instance
和
那个 时距
在
那个 物理
出现 的
time
时段内发生 和
那个 时距
在
那个 另外 客体
结束
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?P)
(
and
(
part
?P ?H)
(
meetsSpatially
?P ?HR))))
Cars.kif 4287-4299
如果
客体
是
卷轴
的
instance
和
过程
是
保存
的
instance
和
另一个 客体
是
躯体性物体
的
instance
和
又长又瘦
是
那个 另外 客体
的
attribute
和
易弯的
是
那个 另外 客体
的
attribute
和
那个 客体
是导致
那个 过程
的
instrument
和
那个 另外 客体
是
那个 过程
的
patient
,
然后 有存在
第三 客体
这样
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 第三 客体
接上
那个 客体
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
exists
(?TH)
(
and
(
instance
?TH
Trachea
)
(
part
?TH ?H)
(
destination
?I ?TH))))
Medicine.kif 4135-4145
如果
转移
是
Intubation
的
instance
和
客体
是
管
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
施事体
经历了
那个 转移
,
然后 有存在
那个 客体
H 这样
那个 客体
H 是
Trachea
的
instance
和
那个 客体
H 是
那个 施事体
的
part
和
那个 转移
在
那个 客体
H 结束
(=>
(
and
(
instance
?II
IntraosseousInfusion
)
(
patient
?II ?H))
(
exists
(?B)
(
and
(
instance
?B
BoneMarrow
)
(
destination
?II ?B)
(
part
?B ?H))))
Medicine.kif 1179-1187
如果
过程
是
IntraosseousInfusion
的
instance
和
客体
是
那个 过程
的
patient
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
BoneMarrow
的
instance
和
那个 过程
在
那个 另外 客体
结束 和
那个 另外 客体
是
那个 客体
的
part
(=>
(
and
(
instance
?KICK
Kicking
)
(
agent
?KICK ?ANIMAL))
(
exists
(?FOOT)
(
and
(
instance
?FOOT
Foot
)
(
part
?FOOT ?ANIMAL)
(
instrument
?KICK ?FOOT))))
Mid-level-ontology.kif 6637-6645
如果
过程
是
踢
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
客体
这样
那个 客体
是
足
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 客体
是导致
那个 过程
的
instrument
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
exists
(?E)
(
and
(
instance
?E
Egg
)
(
patient
?L ?E)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
part
?E ?A))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
not
(
part
?E ?A))))))
Mid-level-ontology.kif 24116-24129
如果
过程
是
下蛋
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
实体
这样
那个 实体
是
蛋
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
是
那个 施事体
的
part
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 实体
不 是
那个 施事体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
?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
?M
OnePercentMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
equal
?N2
(
MultiplicationFn
0.01 ?N)))))
Food.kif 2969-2986
如果
客体
是
OnePercentMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2
equal
0.01 和
那个 实数
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2993-3011
如果
客体
是
SemiSkimmedMilk
的
instance
和
那个 客体
的
measure
是
实数
测量单位
和
那个 测量单位
是
UnitOfVolume
的
instance
,
然后 有存在
另一个 客体
和
那个 实数
2 这样
那个 另外 客体
是
ButterFat
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和 不存在
第三 客体
这样
那个 第三 客体
是
ButterFat
的
instance
和
那个 另外 客体
不
equal
那个 第三 客体
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 测量单位
和
那个 实数
2 是
greaterThanOrEqualTo
0.015 和
那个 实数
和
那个 实数
2 是
lessThanOrEqualTo
0.02 和
那个 实数
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