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
COVIDAntibody
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
O argumento numero 1 de
HoleHostFn
e' uma
instancia
de
Buraco
(
instance
HoleHostFn
UnaryFunction
)
Merge.kif 9924-9924
HoleHostFn
e' uma
instancia
de
funcao Unaria
(
range
HoleHostFn
Object
)
Merge.kif 9928-9928
O
contra
-dominio de
HoleHostFn
e' uma instancia de
Objeto
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
Objeto auto-conectado
e' uma
instancia
de
AutomobileShock
Processo
e' uma
instancia
de
Compressing
Buraco
e' uma
instancia
de
Buraco
Fluid
e' um
atributo
de
Objeto
Objeto auto-conectado
e'
igual
a o
dono
do buraco
Buraco
Objeto auto-conectado
contem
Objeto
Objeto auto-conectado
e' um
patient
de
Processo
Transferencia
Transferencia
e' uma
instancia
de
Transferencia
objectTransferred
Transferencia
and
Objeto
Buraco
e' o
caminho
ao longo do qual
Transferencia
ocorre
Processo
causa
Transferencia
(=>
(
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
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
Crankcase
Fisico
e' uma
instancia
de
Piston
Processo
e' uma
instancia
de
TwoStrokeTransfer
Fisico
e'
situado
em
Objeto
vale
durante
Processo
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Fisico
tem por
fim
Fisico
completa
partialmente
Buraco
vale
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
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Fisico
e' uma
instancia
de
Piston
Processo
e' uma
instancia
de
TwoStrokeIntake
Fisico
e'
situado
em
Objeto
vale
durante
Processo
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Fisico
tem por
fim
Fisico
completa
partialmente
Buraco
vale
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
e' uma
instancia
de
FourStrokeCombustion
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Objeto
O
Objeto
O e' uma
instancia
de
Combustao
Objeto
O e' um
sub
-processo de
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
e' uma
instancia
de
FourStrokeCompression
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Pressurized
e' um
atributo
de
Buraco
vale
durante o
fim
de
tempo
de existencia de
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
e' uma
instancia
de
FourStrokeExhaust
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Entidade
Processo
Processo
e' uma
instancia
de
GasMotion
Entidade
e' uma
instancia
de
Exhaust
Processo
e' um
sub
-processo de
Processo
Processo
tem como
origem
Buraco
Entidade
e' um
patient
de
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
e' uma
instancia
de
FourStrokeIntake
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Processo
V
Processo
Processo
e' uma
instancia
de
GasMotion
Processo
V e' uma
instancia
de
FuelVapor
Processo
e' um
sub
-processo de
Processo
Processo
termina
em
Buraco
Processo
V e' um
patient
de
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
Buraco
e' uma
instancia
de
Laceration
Objeto
e' uma
instancia
de
Skin
Objeto
e'
igual
a o
dono
do buraco
Buraco
Objeto
e' uma &parte de
Objeto
Processo
Processo
e' uma
instancia
de
Cutucar
Buraco
e' o
resultado
de
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
e' uma
instancia
de
TwoStrokeTransfer
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Entidade
Processo
Processo
e' uma
instancia
de
GasMotion
Entidade
e' uma
instancia
de
Exhaust
Processo
e' um
sub
-processo de
Processo
Processo
tem como
origem
Buraco
Entidade
e' um
patient
de
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
e' uma
instancia
de
Cricothyroidotomy
Entidade
e' um
patient
de
Processo
Entidade
Entidade
e' uma
instancia
de
Buraco
Entidade
e'
igual
a o
dono
do buraco
Entidade
Entidade
e' uma
instancia
de
Throat
Entidade
e' uma &parte de
Entidade
vale
durante o
fim
de
tempo
de existencia de
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
e' uma
instancia
de
Sneezing
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
,
Entidade
OSE and
Entidade
Entidade
e' uma
instancia
de
NasalCavity
Entidade
OSE e' uma
instancia
de
Nose
Entidade
OSE e'
igual
a o
dono
do buraco
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma
instancia
de
Remover
Entidade
OSE e' uma &parte de
AutonomousAgent
objectTransferred
Entidade
and
Entidade
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
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
Buraco
e' uma
instancia
de
LeftAtrium
Buraco
e' uma &parte de
Objeto
Objeto
Objeto
EART
Objeto
EART e'
igual
a o
dono
do buraco
Buraco
Objeto
EART e' uma &parte de
Objeto
Objeto
EART e' uma
instancia
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
Buraco
e' uma
instancia
de
LeftVentricle
Buraco
e' uma &parte de
Objeto
Objeto
Objeto
EART
Objeto
EART e'
igual
a o
dono
do buraco
Buraco
Objeto
EART e' uma &parte de
Objeto
Objeto
EART e' uma
instancia
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
Buraco
e' uma
instancia
de
RightAtrium
Buraco
e' uma &parte de
Objeto
Objeto
Objeto
EART
Objeto
EART e'
igual
a o
dono
do buraco
Buraco
Objeto
EART e' uma &parte de
Objeto
Objeto
EART e' uma
instancia
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
Buraco
e' uma
instancia
de
RightVentricle
Buraco
e' uma &parte de
Objeto
Objeto
Objeto
EART
Objeto
EART e'
igual
a o
dono
do buraco
Buraco
Objeto
EART e' uma &parte de
Objeto
Objeto
EART e' uma
instancia
de
Heart
(=>
(
attribute
?X
RingTorus
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?X
(
HoleHostFn
?H)))))
Cars.kif 4417-4422
RingTorus
e' um
atributo
de
Objeto
Buraco
Buraco
e' uma
instancia
de
Buraco
Objeto
e'
igual
a o
dono
do buraco
Buraco
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3))
(
overlapsSpatially
?OBJ2 ?OBJ1)))
Merge.kif 10086-10093
Objeto
e'
igual
a a
superficie
do buraco
Buraco
Objeto
e' uma parte
superficial
de o
dono
do buraco
Buraco
Buraco
encontra
Objeto
Objeto
engloba
Objeto
Objeto
engloba
Objeto
(=>
(
equal
?OBJ1
(
HoleSkinFn
?HOLE))
(=>
(
overlapsSpatially
?OBJ2 ?OBJ1)
(
exists
(?OBJ3)
(
and
(
superficialPart
?OBJ3
(
HoleHostFn
?HOLE))
(
meetsSpatially
?HOLE ?OBJ3)
(
overlapsSpatially
?OBJ2 ?OBJ3)))))
Merge.kif 10076-10084
Objeto
e'
igual
a a
superficie
do buraco
Buraco
Objeto
engloba
Objeto
Objeto
Objeto
e' uma parte
superficial
de o
dono
do buraco
Buraco
Buraco
encontra
Objeto
Objeto
engloba
Objeto
(=>
(
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
e' um
atributo
de
Objeto
vale
durante
Intervalo Temporal
Buraco
Buraco
H and
Processo
Buraco
e' uma
instancia
de
NasalCavity
Buraco
H e'
igual
a o
dono
do buraco
Buraco
Buraco
H e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Inflammation
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Buraco
H e' um
patient
de
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
Objeto
e' uma
instancia
de
Area Aquatica
Objeto
Buraco
and
Objeto
o
dono
do buraco
Buraco
e'
igual
a
Objeto
Objeto
e' uma
instancia
de
Agua
Objeto
rempliecompleta
corretamente
Buraco
a
uniao
das partes de
Objeto
e
Objeto
e'
igual
a
Objeto
(=>
(
instance
?CC
CombustionChamber
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?CC
(
HoleHostFn
?H)))))
Cars.kif 1700-1705
Objeto
e' uma
instancia
de
CombustionChamber
Buraco
Buraco
e' uma
instancia
de
Buraco
Objeto
e'
igual
a o
dono
do buraco
Buraco
(=>
(
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
Fisico
e' uma
instancia
de
ChestSeal
Fisico
tem por
fim
Entidade
Entidade
H,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Closing
Fisico
e' um
instrumento
para
Entidade
Entidade
e'
situado
em
Entidade
H
Entidade
H e' uma
instancia
de
Chest
Entidade
e' uma
instancia
de
Buraco
Entidade
H e'
igual
a o
dono
do buraco
Entidade
Entidade
e' uma
instancia
de
Ferir
Entidade
e'
situado
em
Entidade
H
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Entidade
(=>
(
instance
?E
Engine
)
(
exists
(?C)
(
and
(
instance
?C
Crankcase
)
(
equal
?E
(
HoleHostFn
?C)))))
Cars.kif 328-333
Objeto
e' uma
instancia
de
Engine
Buraco
Buraco
e' uma
instancia
de
Crankcase
Objeto
e'
igual
a o
dono
do buraco
Buraco
(=>
(
instance
?E
EngineCylinder
)
(
exists
(?H)
(
and
(
instance
?H
InternalCombustionChamber
)
(
equal
?E
(
HoleHostFn
?H)))))
Cars.kif 317-322
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
(=>
(
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
Fisico
e' uma
instancia
de
Gasket
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Objeto Corpuscular
Entidade
e' uma
instancia
de
Objeto Corpuscular
Entidade
encontra
Fisico
Entidade
encontra
Fisico
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Buraco
Fisico
e'
igual
a o
dono
do buraco
Entidade
Entidade
e' uma
instancia
de
Translocation
Entidade
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
tem como
origem
Entidade
Entidade
termina
em
Entidade
Entidade
contem
Entidade
Entidade
nao
contem
%n
Entidade
Entidade
encontra
Entidade
Entidade
3
Entidade
contem
Entidade
3
Entidade
nao
contem
%n
Entidade
3
Entidade
nao
contem
%n
Entidade
3
(=>
(
instance
?G
Glottis
)
(
exists
(?VC)
(
and
(
instance
?VC
VocalCords
)
(
equal
?VC
(
HoleHostFn
?G)))))
Mid-level-ontology.kif 6148-6154
Buraco
e' uma
instancia
de
Glottis
Objeto
Objeto
e' uma
instancia
de
VocalCords
Objeto
e'
igual
a o
dono
do buraco
Buraco
(=>
(
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
Objeto
e' uma
instancia
de
HydraulicCylinder
Objeto
Buraco
and
Objeto
Buraco
e' uma
instancia
de
Buraco
Objeto
e'
igual
a o
dono
do buraco
Buraco
Cylinder
e' um
atributo
de
Buraco
Objeto
e' uma
instancia
de
Piston
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
(=>
(
instance
?L
Laceration
)
(
exists
(?S)
(
and
(
instance
?S
Skin
)
(
equal
?S
(
HoleHostFn
?L)))))
Medicine.kif 6212-6217
Buraco
e' uma
instancia
de
Laceration
Objeto
Objeto
e' uma
instancia
de
Skin
Objeto
e'
igual
a o
dono
do buraco
Buraco
(=>
(
instance
?N
NasalCavity
)
(
exists
(?NOSE)
(
and
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N)))))
Mid-level-ontology.kif 6089-6095
Buraco
e' uma
instancia
de
NasalCavity
Buraco
OSE
Buraco
OSE e' uma
instancia
de
Nose
Buraco
OSE e'
igual
a o
dono
do buraco
Buraco
(=>
(
instance
?P
Pupil
)
(
exists
(?I)
(
and
(
instance
?I
Eye
)
(
equal
?I
(
HoleHostFn
?P)))))
Mid-level-ontology.kif 12126-12132
Buraco
e' uma
instancia
de
Pupil
Objeto
Objeto
e' uma
instancia
de
Eye
Objeto
e'
igual
a o
dono
do buraco
Buraco
(=>
(
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
Objeto
e' uma
instancia
de
Ulcer
Buraco
Objeto
Buraco
e' uma
instancia
de
Buraco
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e'
igual
a o
dono
do buraco
Buraco
Objeto
e' uma &parte de
Objeto
(=>
(
instance
?VH
VacuumHose
)
(
hasPurpose
?VH
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?VH
(
HoleHostFn
?H))
(
attribute
?H
PartialVacuum
)))))
Cars.kif 4248-4255
Fisico
e' uma
instancia
de
VacuumHose
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Buraco
Fisico
e'
igual
a o
dono
do buraco
Entidade
PartialVacuum
e' um
atributo
de
Entidade
(=>
(
instance
?W
WasherForBolt
)
(
exists
(?H)
(
and
(
instance
?H
HoleRegion
)
(
equal
?W
(
HoleHostFn
?H)))))
Mid-level-ontology.kif 4307-4312
Objeto
e' uma
instancia
de
WasherForBolt
Buraco
Buraco
e' uma
instancia
de
Buraco
Objeto
e'
igual
a o
dono
do buraco
Buraco
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