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
Le nombre 1 argument de
HoleHostFn
est une
instance
de
trou
(
instance
HoleHostFn
UnaryFunction
)
Merge.kif 9924-9924
HoleHostFn
est une
instance
de
function unaire
(
range
HoleHostFn
Object
)
Merge.kif 9928-9928
Le
domaine
de
HoleHostFn
est une instance de
objet
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 28377-28377
(
termFormat
ChineseTraditionalLanguage
HoleHostFn
"洞主持人")
domainEnglishFormat.kif 28376-28376
(
termFormat
EnglishLanguage
HoleHostFn
"hole host")
domainEnglishFormat.kif 28375-28375
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
Objet en une partie
est une
instance
de
AutomobileShock
processus
est une
instance
de
Compressing
trou
est une
instance
de
trou
Fluid
est un
attribut
de
objet
objet en une partie
est
h
�te du trou
trou
objet en une partie
contient
objet
objet en une partie
est un
patient
de
processus
transf�re
transf�re
est une
instance
de
transf�re
objectTransferred
transf�re
and
objet
trou
est le
chemin
le long duquel
transf�re
se produit
processus
cause
transf�re
(=>
(
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
Objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
Crankcase
physique
est une
instance
de
Piston
processus
est une
instance
de
TwoStrokeTransfer
physique
est
situ
� �
objet
pendant
processus
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
physique
a pour
but
physique
remplie
partiellemnet
trou
pendant
processus
(=>
(
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
Objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
physique
est une
instance
de
Piston
processus
est une
instance
de
TwoStrokeIntake
physique
est
situ
� �
objet
pendant
processus
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
physique
a pour
but
physique
remplie
partiellemnet
trou
pendant
processus
(=>
(
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
Processus
est une
instance
de
FourStrokeCombustion
objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
objet
O
objet
O est une
instance
de
combustion
objet
O est un
sous
-processus de
processus
(=>
(
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
Processus
est une
instance
de
FourStrokeCompression
objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
Pressurized
est un
attribut
de
trou
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
FourStrokeExhaust
objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
entit�
processus
processus
est une
instance
de
GasMotion
entit�
est une
instance
de
Exhaust
processus
est un
sous
-processus de
processus
processus
a pour
origine
trou
entit�
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
FourStrokeIntake
objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
processus
V
processus
processus
est une
instance
de
GasMotion
processus
V est une
instance
de
FuelVapor
processus
est un
sous
-processus de
processus
processus
aboutit
�
trou
processus
V est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
TwoStrokeTransfer
objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
entit�
processus
processus
est une
instance
de
GasMotion
entit�
est une
instance
de
Exhaust
processus
est un
sous
-processus de
processus
processus
a pour
origine
trou
entit�
est un
patient
de
processus
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
Processus
est une
instance
de
Cricothyroidotomy
entit�
est un
patient
de
processus
entit�
entit�
est une
instance
de
trou
entit�
est
h
�te du trou
entit�
entit�
est une
instance
de
Throat
entit�
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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 6094-6112
Processus
est une
instance
de
Sneezing
AutonomousAgent
exp
�rimente
processus
processus
a pour
but
entit�
entit�
,
entit�
OSE and
entit�
entit�
est une
instance
de
NasalCavity
entit�
OSE est une
instance
de
Nose
entit�
OSE est
h
�te du trou
entit�
entit�
est une
instance
de
objet
entit�
est une
instance
de
supprimer
entit�
OSE est une
partie
de
AutonomousAgent
objectTransferred
entit�
and
entit�
entit�
est
situ
� �
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
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
Trou
est une
instance
de
LeftAtrium
trou
est une
partie
de
objet
objet
objet
EART
objet
EART est
h
�te du trou
trou
objet
EART est une
partie
de
objet
objet
EART est une
instance
de
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
Trou
est une
instance
de
LeftVentricle
trou
est une
partie
de
objet
objet
objet
EART
objet
EART est
h
�te du trou
trou
objet
EART est une
partie
de
objet
objet
EART est une
instance
de
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
Trou
est une
instance
de
RightAtrium
trou
est une
partie
de
objet
objet
objet
EART
objet
EART est
h
�te du trou
trou
objet
EART est une
partie
de
objet
objet
EART est une
instance
de
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
Trou
est une
instance
de
RightVentricle
trou
est une
partie
de
objet
objet
objet
EART
objet
EART est
h
�te du trou
trou
objet
EART est une
partie
de
objet
objet
EART est une
instance
de
Heart
(=>
(
attribute
?X
RingTorus
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?X
(
HoleHostFn
?H)))))
Cars.kif 4417-4422
RingTorus
est un
attribut
de
objet
trou
trou
est une
instance
de
trou
objet
est
h
�te du trou
trou
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10086-10093
Objet
est
surface
du trou
trou
objet
est une partie
superficielle
de l
h
�te du trou
trou
trou
rencontre
objet
objet
recouvre
objet
objet
recouvre
objet
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10076-10084
Objet
est
surface
du trou
trou
objet
recouvre
objet
objet
objet
est une partie
superficielle
de l
h
�te du trou
trou
trou
rencontre
objet
objet
recouvre
objet
(=>
(
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 5704-5714
Sinusitis
est un
attribut
de
objet
pendant
interval temporel
trou
trou
H and
processus
trou
est une
instance
de
NasalCavity
trou
H est
h
�te du trou
trou
trou
H est une
partie
de
objet
processus
est une
instance
de
Inflammation
temps
d'existence de
processus
prend place
pendant
interval temporel
trou
H est un
patient
de
processus
(=>
(
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 14094-14101
Objet
est une
instance
de
plan d'eau
objet
trou
and
objet
l
h
�te du trou
trou
est
objet
objet
est une
instance
de
eau
objet
remplie
compl
�tement
trou
l'
union
des parties de
objet
et
objet
est
objet
(=>
(
instance
?CC
CombustionChamber
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?CC
(
HoleHostFn
?H)))))
Cars.kif 1700-1705
Objet
est une
instance
de
CombustionChamber
trou
trou
est une
instance
de
trou
objet
est
h
�te du trou
trou
(=>
(
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
Physique
est une
instance
de
ChestSeal
physique
a pour
but
entit�
entit�
H,
entit�
and
entit�
entit�
est une
instance
de
Closing
physique
est un
instrument
pour
entit�
entit�
est
situ
� �
entit�
H
entit�
H est une
instance
de
Chest
entit�
est une
instance
de
trou
entit�
H est
h
�te du trou
entit�
entit�
est une
instance
de
blesser
entit�
est
situ
� �
entit�
H
temps
d'existence de
entit�
arrive
plus
t�t que
temps
d'existence de
entit�
(=>
(
instance
?E
Engine
)
(
exists
(?C)
(
and
(
instance
?C
Crankcase
)
(
equal
?E
(
HoleHostFn
?C)))))
Cars.kif 328-333
Objet
est une
instance
de
Engine
trou
trou
est une
instance
de
Crankcase
objet
est
h
�te du trou
trou
(=>
(
instance
?E
EngineCylinder
)
(
exists
(?H)
(
and
(
instance
?H
InternalCombustionChamber
)
(
equal
?E
(
HoleHostFn
?H)))))
Cars.kif 317-322
Objet
est une
instance
de
EngineCylinder
trou
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
(=>
(
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
Physique
est une
instance
de
Gasket
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
objet corpusculaire
entit�
est une
instance
de
objet corpusculaire
entit�
rencontre
physique
entit�
rencontre
physique
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
trou
physique
est
h
�te du trou
entit�
entit�
est une
instance
de
Translocation
entit�
est le
chemin
le long duquel
entit�
se produit
entit�
a pour
origine
entit�
entit�
aboutit
�
entit�
entit�
contient
entit�
entit�
ne
contient
%n{pas}
entit�
entit�
rencontre
entit�
entit�
3
entit�
contient
entit�
3
entit�
ne
contient
%n{pas}
entit�
3
entit�
ne
contient
%n{pas}
entit�
3
(=>
(
instance
?G
Glottis
)
(
exists
(?VC)
(
and
(
instance
?VC
VocalCords
)
(
equal
?VC
(
HoleHostFn
?G)))))
Mid-level-ontology.kif 6120-6126
Trou
est une
instance
de
Glottis
objet
objet
est une
instance
de
VocalCords
objet
est
h
�te du trou
trou
(=>
(
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
Objet
est une
instance
de
HydraulicCylinder
objet
trou
and
objet
trou
est une
instance
de
trou
objet
est
h
�te du trou
trou
Cylinder
est un
attribut
de
trou
objet
est une
instance
de
Piston
objet
est une
partie
de
objet
objet
est une
partie
de
objet
(=>
(
instance
?N
NasalCavity
)
(
exists
(?NOSE)
(
and
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N)))))
Mid-level-ontology.kif 6061-6067
Trou
est une
instance
de
NasalCavity
trou
OSE
trou
OSE est une
instance
de
Nose
trou
OSE est
h
�te du trou
trou
(=>
(
instance
?P
Pupil
)
(
exists
(?I)
(
and
(
instance
?I
Eye
)
(
equal
?I
(
HoleHostFn
?P)))))
Mid-level-ontology.kif 12098-12104
Trou
est une
instance
de
Pupil
objet
objet
est une
instance
de
Eye
objet
est
h
�te du trou
trou
(=>
(
instance
?U
Ulcer
)
(
exists
(?H ?BP)
(
and
(
instance
?H
HoleRegion
)
(
instance
?BP
BodyPart
)
(
equal
?BP
(
HoleHostFn
?H))
(
part
?BP ?U))))
Mid-level-ontology.kif 9396-9403
Objet
est une
instance
de
Ulcer
trou
objet
trou
est une
instance
de
trou
objet
est une
instance
de
partie du corps
objet
est
h
�te du trou
trou
objet
est une
partie
de
objet
(=>
(
instance
?VH
VacuumHose
)
(
hasPurpose
?VH
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?VH
(
HoleHostFn
?H))
(
attribute
?H
PartialVacuum
)))))
Cars.kif 4248-4255
Physique
est une
instance
de
VacuumHose
physique
a pour
but
entit�
entit�
est une
instance
de
trou
physique
est
h
�te du trou
entit�
PartialVacuum
est un
attribut
de
entit�
(=>
(
instance
?W
WasherForBolt
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?W
(
HoleHostFn
?H)))))
Mid-level-ontology.kif 4279-4284
Objet
est une
instance
de
WasherForBolt
trou
trou
est une
instance
de
trou
objet
est
h
�te du trou
trou
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