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
Il numero 1 argomenti di
HoleHostFn
è un
istanza
di
apertura
(
instance
HoleHostFn
UnaryFunction
)
Merge.kif 9924-9924
HoleHostFn
è un'
istanza
di
FunzioneUnaria
(
range
HoleHostFn
Object
)
Merge.kif 9928-9928
rango
di
HoleHostFn
è un'istanza di
Oggetto
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
OggettoIntegro
è un'
istanza
di
AutomobileShock
Processo
è un'
istanza
di
Compressing
apertura
è un'
istanza
di
apertura
attribute
Oggetto
and
Fluid
OggettoIntegro
is
uguale
a
HoleHostFn
apertura
contains
OggettoIntegro
and
Oggetto
OggettoIntegro
è un
paziente
di
Processo
Trasferimento
Trasferimento
è un'
istanza
di
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
apertura
è
cammino
mentre
Trasferimento
si verifica
Processo
causa
s
Trasferimento
(=>
(
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
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
Crankcase
Entit�Concreta
è un'
istanza
di
Piston
Processo
è un'
istanza
di
TwoStrokeTransfer
Entit�Concreta
è
localizzato
in
Oggetto
vales
durante
Processo
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Entit�Concreta
ha
scopo
Entit�Concreta
riempie
parzialmentes
apertura
vales
durante
Processo
(=>
(
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
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Entit�Concreta
è un'
istanza
di
Piston
Processo
è un'
istanza
di
TwoStrokeIntake
Entit�Concreta
è
localizzato
in
Oggetto
vales
durante
Processo
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Entit�Concreta
ha
scopo
Entit�Concreta
riempie
parzialmentes
apertura
vales
durante
Processo
(=>
(
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
Processo
è un'
istanza
di
FourStrokeCombustion
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Oggetto
O
Oggetto
O è un'
istanza
di
Combustione
Oggetto
O è un
sottoprocesso
di
Processo
(=>
(
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
Processo
è un'
istanza
di
FourStrokeCompression
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
attribute
apertura
and
Pressurized
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
FourStrokeExhaust
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Entit�
Processo
Processo
è un'
istanza
di
GasMotion
Entit�
è un'
istanza
di
Exhaust
Processo
è un
sottoprocesso
di
Processo
Processo
si
originas in
apertura
Entit�
è un
paziente
di
Processo
(=>
(
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
Processo
è un'
istanza
di
FourStrokeIntake
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Processo
V
Processo
Processo
è un'
istanza
di
GasMotion
Processo
V è un'
istanza
di
FuelVapor
Processo
è un
sottoprocesso
di
Processo
Processo
fine
s in
apertura
Processo
V è un
paziente
di
Processo
(=>
(
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
Apertura
è un'
istanza
di
Laceration
Oggetto
è un'
istanza
di
Skin
Oggetto
is
uguale
a
HoleHostFn
apertura
Oggetto
è una
parte
di
Oggetto
Processo
Processo
è un'
istanza
di
Perforare
apertura
è un
risultato
di
Processo
(=>
(
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
Processo
è un'
istanza
di
TwoStrokeTransfer
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Entit�
Processo
Processo
è un'
istanza
di
GasMotion
Entit�
è un'
istanza
di
Exhaust
Processo
è un
sottoprocesso
di
Processo
Processo
si
originas in
apertura
Entit�
è un
paziente
di
Processo
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
Processo
è un'
istanza
di
Cricothyroidotomy
Entit�
è un
paziente
di
Processo
Entit�
Entit�
è un'
istanza
di
apertura
Entit�
is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Throat
Entit�
è una
parte
di
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Sneezing
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
,
Entit�
OSE and
Entit�
Entit�
è un'
istanza
di
NasalCavity
Entit�
OSE è un'
istanza
di
Nose
Entit�
OSE is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Spostamento
Entit�
OSE è una
parte
di
AutonomousAgent
objectTransferred
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
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
Apertura
è un'
istanza
di
LeftAtrium
apertura
è una
parte
di
Oggetto
Oggetto
Oggetto
EART
Oggetto
EART is
uguale
a
HoleHostFn
apertura
Oggetto
EART è una
parte
di
Oggetto
Oggetto
EART è un'
istanza
di
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
Apertura
è un'
istanza
di
LeftVentricle
apertura
è una
parte
di
Oggetto
Oggetto
Oggetto
EART
Oggetto
EART is
uguale
a
HoleHostFn
apertura
Oggetto
EART è una
parte
di
Oggetto
Oggetto
EART è un'
istanza
di
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
Apertura
è un'
istanza
di
RightAtrium
apertura
è una
parte
di
Oggetto
Oggetto
Oggetto
EART
Oggetto
EART is
uguale
a
HoleHostFn
apertura
Oggetto
EART è una
parte
di
Oggetto
Oggetto
EART è un'
istanza
di
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
Apertura
è un'
istanza
di
RightVentricle
apertura
è una
parte
di
Oggetto
Oggetto
Oggetto
EART
Oggetto
EART is
uguale
a
HoleHostFn
apertura
Oggetto
EART è una
parte
di
Oggetto
Oggetto
EART è un'
istanza
di
Heart
(=>
(
attribute
?X
RingTorus
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?X
(
HoleHostFn
?H)))))
Cars.kif 4417-4422
attribute
Oggetto
and
RingTorus
apertura
apertura
è un'
istanza
di
apertura
Oggetto
is
uguale
a
HoleHostFn
apertura
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10086-10093
Oggetto
is
uguale
a
HoleSkinFn
apertura
Oggetto
è una
parte
superficiale di
HoleHostFn
apertura
apertura
incontra
s
Oggetto
Oggetto
si
sovrappones a
Oggetto
Oggetto
si
sovrappones a
Oggetto
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10076-10084
Oggetto
is
uguale
a
HoleSkinFn
apertura
Oggetto
si
sovrappones a
Oggetto
Oggetto
Oggetto
è una
parte
superficiale di
HoleHostFn
apertura
apertura
incontra
s
Oggetto
Oggetto
si
sovrappones a
Oggetto
(=>
(
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
attribute
Oggetto
and
Sinusitis
vales
durante
IntervalloTemporale
apertura
apertura
H and
Processo
apertura
è un'
istanza
di
NasalCavity
apertura
H is
uguale
a
HoleHostFn
apertura
apertura
H è una
parte
di
Oggetto
Processo
è un'
istanza
di
Inflammation
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
apertura
H è un
paziente
di
Processo
(=>
(
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
Oggetto
è un'
istanza
di
SuperficieAcquatica
Oggetto
apertura
and
Oggetto
HoleHostFn
apertura
is
uguale
a
Oggetto
Oggetto
è un'
istanza
di
Acqua
Oggetto
riempie
propriamentes
apertura
l'
unione
delle parti di
Oggetto
e
Oggetto
is
uguale
a
Oggetto
(=>
(
instance
?CC
CombustionChamber
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?CC
(
HoleHostFn
?H)))))
Cars.kif 1700-1705
Oggetto
è un'
istanza
di
CombustionChamber
apertura
apertura
è un'
istanza
di
apertura
Oggetto
is
uguale
a
HoleHostFn
apertura
(=>
(
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
Entit�Concreta
è un'
istanza
di
ChestSeal
Entit�Concreta
ha
scopo
Entit�
Entit�
H,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Closing
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è
localizzato
in
Entit�
H
Entit�
H è un'
istanza
di
Chest
Entit�
è un'
istanza
di
apertura
Entit�
H is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
è
localizzato
in
Entit�
H il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
Entit�
(=>
(
instance
?E
Engine
)
(
exists
(?C)
(
and
(
instance
?C
Crankcase
)
(
equal
?E
(
HoleHostFn
?C)))))
Cars.kif 328-333
Oggetto
è un'
istanza
di
Engine
apertura
apertura
è un'
istanza
di
Crankcase
Oggetto
is
uguale
a
HoleHostFn
apertura
(=>
(
instance
?E
EngineCylinder
)
(
exists
(?H)
(
and
(
instance
?H
InternalCombustionChamber
)
(
equal
?E
(
HoleHostFn
?H)))))
Cars.kif 317-322
Oggetto
è un'
istanza
di
EngineCylinder
apertura
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
(=>
(
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
Entit�Concreta
è un'
istanza
di
Gasket
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
OggettoCorpuscolare
Entit�
è un'
istanza
di
OggettoCorpuscolare
Entit�
incontra
s
Entit�Concreta
Entit�
incontra
s
Entit�Concreta
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
apertura
Entit�Concreta
is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Translocation
Entit�
è
cammino
mentre
Entit�
si verifica
Entit�
si
originas in
Entit�
Entit�
fine
s in
Entit�
contains
Entit�
and
Entit�
contains
Entit�
and
Entit�
Entit�
incontra
s
Entit�
Entit�
3
contains
Entit�
and
Entit�
3
contains
Entit�
and
Entit�
3
contains
Entit�
and
Entit�
3
(=>
(
instance
?G
Glottis
)
(
exists
(?VC)
(
and
(
instance
?VC
VocalCords
)
(
equal
?VC
(
HoleHostFn
?G)))))
Mid-level-ontology.kif 6148-6154
Apertura
è un'
istanza
di
Glottis
Oggetto
Oggetto
è un'
istanza
di
VocalCords
Oggetto
is
uguale
a
HoleHostFn
apertura
(=>
(
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
Oggetto
è un'
istanza
di
HydraulicCylinder
Oggetto
apertura
and
Oggetto
apertura
è un'
istanza
di
apertura
Oggetto
is
uguale
a
HoleHostFn
apertura
attribute
apertura
and
Cylinder
Oggetto
è un'
istanza
di
Piston
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
(=>
(
instance
?L
Laceration
)
(
exists
(?S)
(
and
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L)))))
Medicine.kif 6212-6217
Apertura
è un'
istanza
di
Laceration
Oggetto
Oggetto
è un'
istanza
di
Skin
Oggetto
is
uguale
a
HoleHostFn
apertura
(=>
(
instance
?N
NasalCavity
)
(
exists
(?NOSE)
(
and
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N)))))
Mid-level-ontology.kif 6089-6095
Apertura
è un'
istanza
di
NasalCavity
apertura
OSE
apertura
OSE è un'
istanza
di
Nose
apertura
OSE is
uguale
a
HoleHostFn
apertura
(=>
(
instance
?P
Pupil
)
(
exists
(?I)
(
and
(
instance
?I
Eye
)
(
equal
?I
(
HoleHostFn
?P)))))
Mid-level-ontology.kif 12126-12132
Apertura
è un'
istanza
di
Pupil
Oggetto
Oggetto
è un'
istanza
di
Eye
Oggetto
is
uguale
a
HoleHostFn
apertura
(=>
(
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
Oggetto
è un'
istanza
di
Ulcer
apertura
Oggetto
apertura
è un'
istanza
di
apertura
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
is
uguale
a
HoleHostFn
apertura
Oggetto
è una
parte
di
Oggetto
(=>
(
instance
?VH
VacuumHose
)
(
hasPurpose
?VH
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?VH
(
HoleHostFn
?H))
(
attribute
?H
PartialVacuum
)))))
Cars.kif 4248-4255
Entit�Concreta
è un'
istanza
di
VacuumHose
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
apertura
Entit�Concreta
is
uguale
a
HoleHostFn
Entit�
attribute
Entit�
and
PartialVacuum
(=>
(
instance
?W
WasherForBolt
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?W
(
HoleHostFn
?H)))))
Mid-level-ontology.kif 4307-4312
Oggetto
è un'
istanza
di
WasherForBolt
apertura
apertura
è un'
istanza
di
apertura
Oggetto
is
uguale
a
HoleHostFn
apertura
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