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 9930-9933
(
documentation
HoleHostFn
JapaneseLanguage
"A
UnaryFunction
は、
Hole
を主ホストである
Object
にマップする。
Hole
の原理ホストは、その最大に接続されたホストである (引数がホールである 場合にのみ定義される概念)。")
japanese_format.kif 1610-1612
(
domain
HoleHostFn
1
HoleRegion
)
Merge.kif 9927-9927
The number 1 argument of
hole host
is an
instance
of
hole
(
instance
HoleHostFn
UnaryFunction
)
Merge.kif 9924-9924
Hole host
is an
instance
of
unary function
(
range
HoleHostFn
Object
)
Merge.kif 9928-9928
The
range
of
hole host
is an instance of
object
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
If
a self connected object
is an
instance
of
shock
and
a process
is an
instance
of
compressing
and
a hole
is an
instance
of
hole
and
fluid
is an
attribute
of
an object
and
the self connected object
is
equal
to the
host
of the hole
the hole
and
the self connected object
contain
s
the object
and
the self connected object
is a
patient
of
the process
,
then there exists
a transfer
such that
the transfer
is an
instance
of
transfer
and the object transferred in
the transfer
is
the object
and
the hole
is
path
along which
the transfer
occurs and
the process
cause
s
the transfer
(=>
(
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
If
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
crankcase
and
a physical
is an
instance
of
piston
and
a process
is an
instance
of
two stroke transfer
and
the physical
is
located
at
the object
holds
during
the process
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then
the physical
has the purpose
the physical
partially
fill
s
the hole
holds
during
the process
(=>
(
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
If
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
a physical
is an
instance
of
piston
and
a process
is an
instance
of
two stroke intake
and
the physical
is
located
at
the object
holds
during
the process
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then
the physical
has the purpose
the physical
partially
fill
s
the hole
holds
during
the process
(=>
(
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
If
a process
is an
instance
of
four stroke combustion
and
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then there exists
the object
O such that
the object
O is an
instance
of
burning
and
the object
O is a
subprocess
of
the process
(=>
(
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
If
a process
is an
instance
of
four stroke compression
and
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then
pressurized
is an
attribute
of
the hole
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
four stroke exhaust
and
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then there exist
an entity
and
another process
such that
the other process
is an
instance
of
gas motion
and
the entity
is an
instance
of
exhaust
and
the other process
is a
subprocess
of
the process
and
the other process
originate
s at
the hole
and
the entity
is a
patient
of
the other process
(=>
(
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
If
a process
is an
instance
of
four stroke intake
and
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then there exist
the process
V and
another process
such that
the other process
is an
instance
of
gas motion
and
the process
V is an
instance
of
fuel vapor
and
the other process
is a
subprocess
of
the process
and
the other process
end
s up at
the hole
and
the process
V is a
patient
of
the other process
(=>
(
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
If
a hole
is an
instance
of
Laceration
and
an object
is an
instance
of
skin
and
the object
is
equal
to the
host
of the hole
the hole
and
the object
is a
part
of
another object
,
then there exists
a process
such that
the process
is an
instance
of
poking
and
the hole
is a
result
of
the process
(=>
(
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
If
a process
is an
instance
of
two stroke transfer
and
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then there exist
an entity
and
another process
such that
the other process
is an
instance
of
gas motion
and
the entity
is an
instance
of
exhaust
and
the other process
is a
subprocess
of
the process
and
the other process
originate
s at
the hole
and
the entity
is a
patient
of
the other process
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
If
a process
is an
instance
of
cricothyrotomy
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the other entity
is an
instance
of
hole
and
a third entity
is
equal
to the
host
of the hole
the other entity
and
the third entity
is an
instance
of
throat
and
the third entity
is a
part
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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 6122-6140
If
a process
is an
instance
of
sneezing
and
an agent
experience
s
the process
,
then
the process
has the purpose there exist
an entity
,
another entity
,, ,
the other entity
OSE and
a fourth entity
such that
the other entity
is an
instance
of
nasal cavity
and
the other entity
OSE is an
instance
of
nose
and
the other entity
OSE is
equal
to the
host
of the hole
the other entity
and
the fourth entity
is an
instance
of
object
and
the entity
is an
instance
of
removing
and
the other entity
OSE is a
part
of
the agent
and the object transferred in
the entity
is
the fourth entity
and
the fourth entity
is
located
at
the other entity
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
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
If
a hole
is an
instance
of
left atrium
and
the hole
is a
part
of
an object
,
then there exist
the object
and
the object
EART such that
the object
EART is
equal
to the
host
of the hole
the hole
and
the object
EART is a
part
of
the object
and
the object
EART is an
instance
of
heart
(=>
(
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
If
a hole
is an
instance
of
left ventricle
and
the hole
is a
part
of
an object
,
then there exist
the object
and
the object
EART such that
the object
EART is
equal
to the
host
of the hole
the hole
and
the object
EART is a
part
of
the object
and
the object
EART is an
instance
of
heart
(=>
(
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
If
a hole
is an
instance
of
right atrium
and
the hole
is a
part
of
an object
,
then there exist
the object
and
the object
EART such that
the object
EART is
equal
to the
host
of the hole
the hole
and
the object
EART is a
part
of
the object
and
the object
EART is an
instance
of
heart
(=>
(
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
If
a hole
is an
instance
of
right ventricle
and
the hole
is a
part
of
an object
,
then there exist
the object
and
the object
EART such that
the object
EART is
equal
to the
host
of the hole
the hole
and
the object
EART is a
part
of
the object
and
the object
EART is an
instance
of
heart
(=>
(
attribute
?X
RingTorus
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?X
(
HoleHostFn
?H)))))
Cars.kif 4417-4422
If
ring torus
is an
attribute
of
an object
,
then there exists
a hole
such that
the hole
is an
instance
of
hole
and
the object
is
equal
to the
host
of the hole
the hole
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10086-10093
If
an object
is
equal
to the
surface
of the hole
a hole
,
then
if
another object
is a
superficial
part of the
host
of the hole
the hole
and
the hole
meet
s
the other object
and
a third object
and
the other object
overlapsSpatially
,
then
the third object
and
the object
overlapsSpatially
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10076-10084
If
an object
is
equal
to the
surface
of the hole
a hole
,
then
if
another object
and
the object
overlapsSpatially
,
then there exists
a third object
such that
the third object
is a
superficial
part of the
host
of the hole
the hole
and
the hole
meet
s
the third object
and
the other object
and
the third object
overlapsSpatially
(=>
(
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
If
sinus infection
is an
attribute
of
an object
holds
during
a time interval
,
then there exist
a hole
,
the hole
H and
a process
such that
the hole
is an
instance
of
nasal cavity
and
the hole
H is
equal
to the
host
of the hole
the hole
and
the hole
H is a
part
of
the object
and
the process
is an
instance
of
inflammation
and the
time
of existence of
the process
takes place
during
the time interval
and
the hole
H is a
patient
of
the process
(=>
(
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 14124-14131
If
an object
is an
instance
of
water area
,
then there exist
another object
,
a hole
and
a third object
such that the
host
of the hole
the hole
is
equal
to
the other object
and
the third object
is an
instance
of
water
and
the third object
properly
fill
s
the hole
and the
union
of the parts of
the other object
and
the third object
is
equal
to
the object
(=>
(
instance
?CC
CombustionChamber
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?CC
(
HoleHostFn
?H)))))
Cars.kif 1700-1705
If
an object
is an
instance
of
combustion chamber
,
then there exists
a hole
such that
the hole
is an
instance
of
hole
and
the object
is
equal
to the
host
of the hole
the hole
(=>
(
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
If
a physical
is an
instance
of
chest seal
,
then
the physical
has the purpose there exist
an entity
,
the entity
H,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
closing
and
the physical
is an
instrument
for
the entity
and
the entity
is
located
at
the entity
H and
the entity
H is an
instance
of
chest
and
the fourth entity
is an
instance
of
hole
and
the entity
H is
equal
to the
host
of the hole
the fourth entity
and
the third entity
is an
instance
of
injuring
and
the third entity
is
located
at
the entity
H and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the entity
(=>
(
instance
?E
Engine
)
(
exists
(?C)
(
and
(
instance
?C
Crankcase
)
(
equal
?E
(
HoleHostFn
?C)))))
Cars.kif 328-333
If
an object
is an
instance
of
engine
,
then there exists
a hole
such that
the hole
is an
instance
of
crankcase
and
the object
is
equal
to the
host
of the hole
the hole
(=>
(
instance
?E
EngineCylinder
)
(
exists
(?H)
(
and
(
instance
?H
InternalCombustionChamber
)
(
equal
?E
(
HoleHostFn
?H)))))
Cars.kif 317-322
If
an object
is an
instance
of
engine cylinder
,
then there exists
a hole
such that
the hole
is an
instance
of
internal combustion chamber
and
the object
is
equal
to the
host
of the hole
the hole
(=>
(
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 2843-2872
If
a physical
is an
instance
of
gasket
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
corpuscular object
and
the other entity
is an
instance
of
corpuscular object
and
the entity
meet
s
the physical
and
the other entity
meet
s
the physical
and there don't exist
a third entity
,
a fourth entity
,, ,
a fifth entity
and
a sixth entity
such that
the third entity
is an
instance
of
hole
and
the physical
is
equal
to the
host
of the hole
the third entity
and
the fifth entity
is an
instance
of
translocation
and
the third entity
is
path
along which
the fifth entity
occurs and
the fifth entity
originate
s at
the sixth entity
and
the fifth entity
end
s up at
the fourth entity
and
the entity
contain
s
the sixth entity
and
the entity
doesn't
contain
the fourth entity
and
the entity
meet
s
the fourth entity
and there doesn't exist
the sixth entity
3 such that
the third entity
contain
s
the sixth entity
3 and
the entity
doesn't
contain
the sixth entity
3 and
the other entity
doesn't
contain
the sixth entity
3
(=>
(
instance
?G
Glottis
)
(
exists
(?VC)
(
and
(
instance
?VC
VocalCords
)
(
equal
?VC
(
HoleHostFn
?G)))))
Mid-level-ontology.kif 6148-6154
If
a hole
is an
instance
of
glottis
,
then there exists
an object
such that
the object
is an
instance
of
vocal cords
and
the object
is
equal
to the
host
of the hole
the hole
(=>
(
instance
?HC
HydraulicCylinder
)
(
exists
(?HH ?C ?P)
(
and
(
instance
?C
HoleRegion
)
(
equal
?HH
(
HoleHostFn
?C))
(
attribute
?C
Cylinder
)
(
instance
?P
Piston
)
(
part
?P ?HC)
(
part
?HH ?HC))))
Cars.kif 1606-1615
If
an object
is an
instance
of
hydraulic cylinder
,
then there exist
another object
,
a hole
and
a third object
such that
the hole
is an
instance
of
hole
and
the other object
is
equal
to the
host
of the hole
the hole
and
cylinder
is an
attribute
of
the hole
and
the third object
is an
instance
of
piston
and
the third object
is a
part
of
the object
and
the other object
is a
part
of
the object
(=>
(
instance
?L
Laceration
)
(
exists
(?S)
(
and
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L)))))
Medicine.kif 6212-6217
If
a hole
is an
instance
of
Laceration
,
then there exists
an object
such that
the object
is an
instance
of
skin
and
the object
is
equal
to the
host
of the hole
the hole
(=>
(
instance
?N
NasalCavity
)
(
exists
(?NOSE)
(
and
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N)))))
Mid-level-ontology.kif 6089-6095
If
a hole
is an
instance
of
nasal cavity
,
then there exists
the hole
OSE such that
the hole
OSE is an
instance
of
nose
and
the hole
OSE is
equal
to the
host
of the hole
the hole
(=>
(
instance
?P
Pupil
)
(
exists
(?I)
(
and
(
instance
?I
Eye
)
(
equal
?I
(
HoleHostFn
?P)))))
Mid-level-ontology.kif 12126-12132
If
a hole
is an
instance
of
pupil
,
then there exists
an object
such that
the object
is an
instance
of
eye
and
the object
is
equal
to the
host
of the hole
the hole
(=>
(
instance
?U
Ulcer
)
(
exists
(?H ?BP)
(
and
(
instance
?H
HoleRegion
)
(
instance
?BP
BodyPart
)
(
equal
?BP
(
HoleHostFn
?H))
(
part
?BP ?U))))
Mid-level-ontology.kif 9424-9431
If
an object
is an
instance
of
ulcer
,
then there exist
a hole
and
another object
such that
the hole
is an
instance
of
hole
and
the other object
is an
instance
of
body part
and
the other object
is
equal
to the
host
of the hole
the hole
and
the other object
is a
part
of
the object
(=>
(
instance
?VH
VacuumHose
)
(
hasPurpose
?VH
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?VH
(
HoleHostFn
?H))
(
attribute
?H
PartialVacuum
)))))
Cars.kif 4248-4255
If
a physical
is an
instance
of
vacuum hose
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
hole
and
the physical
is
equal
to the
host
of the hole
the entity
and
partial vacuum
is an
attribute
of
the entity
(=>
(
instance
?W
WasherForBolt
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?W
(
HoleHostFn
?H)))))
Mid-level-ontology.kif 4307-4312
If
an object
is an
instance
of
washer
,
then there exists
a hole
such that
the hole
is an
instance
of
hole
and
the object
is
equal
to the
host
of the hole
the hole
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