Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
HoleHostFn
Sigma KEE - HoleHostFn
HoleHostFn
appearance as argument number 1
(
documentation
HoleHostFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
HoleRegion
和属于它 主要主体的
Object
联系起来。一个
HoleRegion
的主要主体是和它最大程度相连的主体(这个概念在这里要符合这个定义 时才能算是一个洞)。")
chinese_format.kif 2863-2865
(
documentation
HoleHostFn
EnglishLanguage
"A
UnaryFunction
that maps a
HoleRegion
to the
Object
which is its principal host. The principle host of a
HoleRegion
is its maximally connected host (a notion taken here to be defined only when the argument is a hole).")
Merge.kif 9966-9969
(
documentation
HoleHostFn
JapaneseLanguage
"A
UnaryFunction
は、
Hole
を主ホストである
Object
にマップする。
Hole
の原理ホストは、その最大に接続されたホストである (引数がホールである 場合にのみ定義される概念)。")
japanese_format.kif 1610-1612
(
domain
HoleHostFn
1
HoleRegion
)
Merge.kif 9963-9963
洞主体函数
的 1 数量 是
洞
的
instance
(
instance
HoleHostFn
UnaryFunction
)
Merge.kif 9960-9960
洞主体函数
是
一元函数
的
instance
(
range
HoleHostFn
Object
)
Merge.kif 9964-9964
洞主体函数
的
range
是
客体
的实例
appearance as argument number 2
(
format
ChineseLanguage
HoleHostFn
"洞 %1 的主体")
chinese_format.kif 401-401
(
format
EnglishLanguage
HoleHostFn
"the host of the hole %1")
english_format.kif 407-407
(
format
FrenchLanguage
HoleHostFn
"l h�te du trou %1")
french_format.kif 231-231
(
format
JapaneseLanguage
HoleHostFn
"ホール %1 の host")
japanese_format.kif 2033-2033
(
format
PortugueseLanguage
HoleHostFn
"o dono do buraco %1")
portuguese_format.kif 183-183
(
format
ro
HoleHostFn
"host%t{gazda} deshizãturii %1")
relations-ro.kif 251-251
(
termFormat
ChineseLanguage
HoleHostFn
"洞主体函数")
chinese_format.kif 402-402
(
termFormat
ChineseLanguage
HoleHostFn
"洞主持人")
domainEnglishFormat.kif 28371-28371
(
termFormat
ChineseTraditionalLanguage
HoleHostFn
"洞主持人")
domainEnglishFormat.kif 28370-28370
(
termFormat
EnglishLanguage
HoleHostFn
"hole host")
domainEnglishFormat.kif 28369-28369
antecedent
(=>
(
and
(
instance
?AS
AutomobileShock
)
(
instance
?C
Compressing
)
(
instance
?H
HoleRegion
)
(
attribute
?F
Fluid
)
(
equal
?AS
(
HoleHostFn
?H))
(
contains
?AS ?F)
(
patient
?C ?AS))
(
exists
(?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?F)
(
path
?T ?H)
(
causes
?C ?T))))
Cars.kif 871-885
如果
自身连接物体
是
AutomobileShock
的
instance
和
过程
是
Compressing
的
instance
和
洞
是
洞
的
instance
和
流体
是
客体
的
attribute
和
那个 自身连接物体
equal
洞
那个 洞
的主体 和
那个 自身连接物体
contains
那个 客体
和
那个 自身连接物体
是
那个 过程
的
patient
,
然后 有存在
转移
这样
那个 转移
是
转移
的
instance
和
objectTransferred
那个 转移
and
那个 客体
和
那个 洞
%n是
那个 转移
发生的
path
和
那个 过程
causes
那个 转移
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
如果
客体
是
EngineCylinder
的
instance
和
洞
是
Crankcase
的
instance
和
物理
是
Piston
的
instance
和
过程
是
TwoStrokeTransfer
的
instance
和
那个 物理
是
located
在
那个 客体
在
那个 过程
holdsDuring
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是
那个 物理
fills
了
那个 洞
的一部分 在
那个 过程
holdsDuring
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
如果
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
物理
是
Piston
的
instance
和
过程
是
TwoStrokeIntake
的
instance
和
那个 物理
是
located
在
那个 客体
在
那个 过程
holdsDuring
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
那个 物理
的 目的 是
那个 物理
fills
了
那个 洞
的一部分 在
那个 过程
holdsDuring
(=>
(
and
(
instance
?F
FourStrokeCombustion
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?CO)
(
and
(
instance
?CO
Combustion
)
(
subProcess
?CO ?F))))
Cars.kif 207-217
如果
过程
是
FourStrokeCombustion
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后 有存在
那个 客体
O 这样
那个 客体
O 是
燃烧
的
instance
和
那个 客体
O%n是
那个 过程
的
subProcess
(=>
(
and
(
instance
?F
FourStrokeCompression
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
attribute
?I
Pressurized
)))
Cars.kif 191-200
如果
过程
是
FourStrokeCompression
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后
Pressurized
是
那个 洞
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?F
FourStrokeExhaust
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?F)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 225-238
如果
过程
是
FourStrokeExhaust
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后 有存在
实体
和
另一个 过程
这样
那个 另外 过程
是
气体运动
的
instance
和
那个 实体
是
Exhaust
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 洞
是
那个 另外 过程
的源头 和
那个 实体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?F
FourStrokeIntake
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?FV ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?FV
FuelVapor
)
(
subProcess
?M ?F)
(
destination
?M ?I)
(
patient
?M ?FV))))
Cars.kif 171-184
如果
过程
是
FourStrokeIntake
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后 有存在
那个 过程
V 和
另一个 过程
这样
那个 另外 过程
是
气体运动
的
instance
和
那个 过程
V 是
FuelVapor
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 另外 过程
在
那个 洞
结束 和
那个 过程
V 是
那个 另外 过程
的
patient
(=>
(
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
?T
TwoStrokeTransfer
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?T ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?T)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 523-536
如果
过程
是
TwoStrokeTransfer
的
instance
和
客体
是
EngineCylinder
的
instance
和
洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体 和
那个 过程
是
located
在
那个 客体
,
然后 有存在
实体
和
另一个 过程
这样
那个 另外 过程
是
气体运动
的
instance
和
那个 实体
是
Exhaust
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 洞
是
那个 另外 过程
的源头 和
那个 实体
是
那个 另外 过程
的
patient
consequent
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
holdsDuring
(
EndFn
(
WhenFn
?C))
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?T
(
HoleHostFn
?H))
(
instance
?T
Throat
)
(
part
?T ?O)))))
Medicine.kif 754-765
如果
过程
是
Cricothyroidotomy
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
洞
的
instance
和
第三 实体
equal
洞
那个 另外 实体
的主体 和
那个 第三 实体
是
喉
的
instance
和
那个 第三 实体
是
那个 实体
的
part
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6116-6134
如果
过程
是
Sneezing
的
instance
和
施事体
经历了
那个 过程
,
然后
那个 过程
的 目的 是 有存在
实体
,
另一个 实体
,, ,
那个 另外 实体
OSE, and 和
第四 实体
这样
那个 另外 实体
是
NasalCavity
的
instance
和
那个 另外 实体
OSE 是
鼻子
的
instance
和
那个 另外 实体
OSE
equal
洞
那个 另外 实体
的主体 和
那个 第四 实体
是
客体
的
instance
和
那个 实体
是
移除
的
instance
和
那个 另外 实体
OSE 是
那个 施事体
的
part
和
objectTransferred
那个 实体
and
那个 第四 实体
和
那个 第四 实体
是
located
在
那个 另外 实体
在 紧接
那个 过程
出现 的
time
before
holdsDuring
(=>
(
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
(=>
(
attribute
?X
RingTorus
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?X
(
HoleHostFn
?H)))))
Cars.kif 4402-4407
如果
RingTorus
是
客体
的
attribute
,
然后 有存在
洞
这样
那个 洞
是
洞
的
instance
和
那个 客体
equal
洞
那个 洞
的主体
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10122-10129
如果
客体
equal
洞
洞
的
surface
,
然后
如果
另一个 客体
是 洞
那个 洞
的主体 的
superficialPart
和
那个 洞
接上
那个 另外 客体
和
第三 客体
和
那个 另外 客体
重叠,
然后
那个 第三 客体
和
那个 客体
重叠
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10112-10120
如果
客体
equal
洞
洞
的
surface
,
然后
如果
另一个 客体
和
那个 客体
重叠,
然后 有存在
第三 客体
这样
那个 第三 客体
是 洞
那个 洞
的主体 的
superficialPart
和
那个 洞
接上
那个 第三 客体
和
那个 另外 客体
和
那个 第三 客体
重叠
(=>
(
holdsDuring
?T
(
attribute
?H
Sinusitis
))
(
exists
(?NC ?NCH ?I)
(
and
(
instance
?NC
NasalCavity
)
(
equal
?NCH
(
HoleHostFn
?NC))
(
part
?NCH ?H)
(
instance
?I
Inflammation
)
(
during
(
WhenFn
?I) ?T)
(
patient
?I ?NCH))))
Medicine.kif 5706-5716
如果
Sinusitis
是
客体
的
attribute
在
时距
holdsDuring
,
然后 有存在
洞
,
那个 洞
H, and 和
过程
这样
那个 洞
是
NasalCavity
的
instance
和
那个 洞
H
equal
洞
那个 洞
的主体 和
那个 洞
H 是
那个 客体
的
part
和
那个 过程
是
Inflammation
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 洞
H 是
那个 过程
的
patient
(=>
(
instance
?AREA
WaterArea
)
(
exists
(?BED ?HOLE ?WATER)
(
and
(
equal
(
HoleHostFn
?HOLE) ?BED)
(
instance
?WATER
Water
)
(
properlyFills
?WATER ?HOLE)
(
equal
(
MereologicalSumFn
?BED ?WATER) ?AREA))))
Merge.kif 14170-14177
如果
客体
是
水域
的
instance
,
然后 有存在
另一个 客体
,
洞
, and 和
第三 客体
这样 洞
那个 洞
的主体
equal
那个 另外 客体
和
那个 第三 客体
是
水
的
instance
和
那个 第三 客体
适当的
fills
那个 洞
和 包括属于
那个 第三 客体
或
那个 另外 客体
的部分
equal
那个 客体
(=>
(
instance
?CC
CombustionChamber
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?CC
(
HoleHostFn
?H)))))
Cars.kif 1706-1711
如果
客体
是
CombustionChamber
的
instance
,
然后 有存在
洞
这样
那个 洞
是
洞
的
instance
和
那个 客体
equal
洞
那个 洞
的主体
(=>
(
instance
?CS
ChestSeal
)
(
hasPurpose
?CS
(
exists
(?C ?CH ?I ?H)
(
and
(
instance
?C
Closing
)
(
instrument
?C ?CS)
(
located
?C ?CH)
(
instance
?CH
Chest
)
(
instance
?H
HoleRegion
)
(
equal
?CH
(
HoleHostFn
?H))
(
instance
?I
Injuring
)
(
located
?I ?CH)
(
earlier
(
WhenFn
?I)
(
WhenFn
?C))))))
Medicine.kif 828-844
如果
物理
是
ChestSeal
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
那个 实体
H,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
关闭
的
instance
和
那个 物理
是导致
那个 实体
的
instrument
和
那个 实体
是
located
在
那个 实体
H 和
那个 实体
H 是
Chest
的
instance
和
那个 第四 实体
是
洞
的
instance
和
那个 实体
H
equal
洞
那个 第四 实体
的主体 和
那个 第三 实体
是
受伤
的
instance
和
那个 第三 实体
是
located
在
那个 实体
H 和
那个 第三 实体
出现 的
time
比
那个 实体
出现 的
time
发生的
earlier
(=>
(
instance
?E
Engine
)
(
exists
(?C)
(
and
(
instance
?C
Crankcase
)
(
equal
?E
(
HoleHostFn
?C)))))
Cars.kif 328-333
如果
客体
是
发动机
的
instance
,
然后 有存在
洞
这样
那个 洞
是
Crankcase
的
instance
和
那个 客体
equal
洞
那个 洞
的主体
(=>
(
instance
?E
EngineCylinder
)
(
exists
(?H)
(
and
(
instance
?H
InternalCombustionChamber
)
(
equal
?E
(
HoleHostFn
?H)))))
Cars.kif 317-322
如果
客体
是
EngineCylinder
的
instance
,
然后 有存在
洞
这样
那个 洞
是
InternalCombustionChamber
的
instance
和
那个 客体
equal
洞
那个 洞
的主体
(=>
(
instance
?G
Gasket
)
(
hasPurpose
?G
(
exists
(?O1 ?O2)
(
and
(
instance
?O1
CorpuscularObject
)
(
instance
?O2
CorpuscularObject
)
(
meetsSpatially
?O1 ?G)
(
meetsSpatially
?O2 ?G)
(
not
(
exists
(?H ?D ?T ?O)
(
and
(
instance
?H
HoleRegion
)
(
equal
?G
(
HoleHostFn
?H))
(
instance
?T
Translocation
)
(
path
?T ?H)
(
origin
?T ?O)
(
destination
?T ?D)
(
contains
?O1 ?O)
(
not
(
contains
?O1 ?D))
(
meetsSpatially
?O1 ?D)
(
not
(
exists
(?O3)
(
and
(
contains
?H ?O3)
(
not
(
contains
?O1 ?O3))
(
not
(
contains
?O2 ?O3))))))))))))
Cars.kif 2826-2855
如果
物理
是
Gasket
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
躯体性物体
的
instance
和
那个 另外 实体
是
躯体性物体
的
instance
和
那个 实体
接上
那个 物理
和
那个 另外 实体
接上
那个 物理
和 不存在
第三 实体
,
第四 实体
,, ,
第五 实体
, and 和
第六 实体
这样
那个 第三 实体
是
洞
的
instance
和
那个 物理
equal
洞
那个 第三 实体
的主体 和
那个 第五 实体
是
易位
的
instance
和
那个 第三 实体
%n是
那个 第五 实体
发生的
path
和
那个 第六 实体
是
那个 第五 实体
的源头 和
那个 第五 实体
在
那个 第四 实体
结束 和
那个 实体
contains
那个 第六 实体
和
那个 实体
doesn't
contains
那个 第四 实体
和
那个 实体
接上
那个 第四 实体
和 不存在
那个 第六 实体
3 这样
那个 第三 实体
contains
那个 第六 实体
3 和
那个 实体
doesn't
contains
那个 第六 实体
3 和
那个 另外 实体
doesn't
contains
那个 第六 实体
3
(=>
(
instance
?G
Glottis
)
(
exists
(?VC)
(
and
(
instance
?VC
VocalCords
)
(
equal
?VC
(
HoleHostFn
?G)))))
Mid-level-ontology.kif 6142-6148
如果
洞
是
Glottis
的
instance
,
然后 有存在
客体
这样
那个 客体
是
VocalCords
的
instance
和
那个 客体
equal
洞
那个 洞
的主体
(=>
(
instance
?HC
HydraulicCylinder
)
(
exists
(?HH ?C ?P)
(
and
(
instance
?C
HoleRegion
)
(
equal
?HH
(
HoleHostFn
?C))
(
shape
?C
Cylinder
)
(
instance
?P
Piston
)
(
part
?P ?HC)
(
part
?HH ?HC))))
Cars.kif 1611-1621
如果
客体
是
HydraulicCylinder
的
instance
,
然后 有存在
另一个 客体
,
洞
, and 和
第三 客体
这样
那个 洞
是
洞
的
instance
和
那个 另外 客体
equal
洞
那个 洞
的主体 和
那个 洞
是
圆筒
和
那个 第三 客体
是
Piston
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 客体
的
part
(=>
(
instance
?L
Laceration
)
(
exists
(?S)
(
and
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L)))))
Medicine.kif 6212-6217
如果
洞
是
Laceration
的
instance
,
然后 有存在
客体
这样
那个 客体
是
皮肤
的
instance
和
那个 客体
equal
洞
那个 洞
的主体
(=>
(
instance
?N
NasalCavity
)
(
exists
(?NOSE)
(
and
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N)))))
Mid-level-ontology.kif 6083-6089
如果
洞
是
NasalCavity
的
instance
,
然后 有存在
那个 洞
OSE 这样
那个 洞
OSE 是
鼻子
的
instance
和
那个 洞
OSE
equal
洞
那个 洞
的主体
(=>
(
instance
?P
Pupil
)
(
exists
(?I)
(
and
(
instance
?I
Eye
)
(
equal
?I
(
HoleHostFn
?P)))))
Mid-level-ontology.kif 12153-12159
如果
洞
是
Pupil
的
instance
,
然后 有存在
客体
这样
那个 客体
是
眼睛
的
instance
和
那个 客体
equal
洞
那个 洞
的主体
(=>
(
instance
?U
Ulcer
)
(
exists
(?H ?BP)
(
and
(
instance
?H
HoleRegion
)
(
instance
?BP
BodyPart
)
(
equal
?BP
(
HoleHostFn
?H))
(
part
?BP ?U))))
Mid-level-ontology.kif 9451-9458
如果
客体
是
Ulcer
的
instance
,
然后 有存在
洞
和
另一个 客体
这样
那个 洞
是
洞
的
instance
和
那个 另外 客体
是
身体部位
的
instance
和
那个 另外 客体
equal
洞
那个 洞
的主体 和
那个 另外 客体
是
那个 客体
的
part
(=>
(
instance
?VH
VacuumHose
)
(
hasPurpose
?VH
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?VH
(
HoleHostFn
?H))
(
attribute
?H
PartialVacuum
)))))
Cars.kif 4233-4240
如果
物理
是
VacuumHose
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
洞
的
instance
和
那个 物理
equal
洞
那个 实体
的主体 和
PartialVacuum
是
那个 实体
的
attribute
(=>
(
instance
?W
WasherForBolt
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?W
(
HoleHostFn
?H)))))
Mid-level-ontology.kif 4300-4305
如果
客体
是
垫圈
的
instance
,
然后 有存在
洞
这样
那个 洞
是
洞
的
instance
和
那个 客体
equal
洞
那个 洞
的主体
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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