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
hole
Sigma KEE - hole
hole
appearance as argument number 1
(
documentation
hole
ChineseLanguage
"(
hole
?HOLE ?OBJ)的意思是 ?HOLE 是在 ?OBJ 的一个
HoleRegion
。 一个
HoleRegion
是位于一个
Object
surface
可以被填满的部分。")
chinese_format.kif 2855-2856
(
documentation
hole
EnglishLanguage
"(
hole
?HOLE ?OBJ) means that ?HOLE is a
HoleRegion
in ?OBJ. A
HoleRegion
is a fillable body located at the
surface
an
Object
.")
Merge.kif 997-998
(
documentation
hole
JapaneseLanguage
"(
hole
?HOLE ?OBJ) とは、
Hole
が ?OBJ の
Hole
で あることを意味する。
Hole
は、
surface
Object
に位置する書き込み可能なボディである。")
japanese_format.kif 1599-1600
(
domain
hole
1
HoleRegion
)
Merge.kif 994-994
O argumento numero 1 de
hole
e' uma
instancia
de
Buraco
(
domain
hole
2
SelfConnectedObject
)
Merge.kif 995-995
O argumento numero 2 de
hole
e' uma
instancia
de
Objeto auto-conectado
(
instance
hole
AsymmetricRelation
)
Merge.kif 993-993
hole
e' uma
instancia
de
Relacao Assimetrica
(
instance
hole
BinaryPredicate
)
Merge.kif 991-991
hole
e' uma
instancia
de
Predicado Binario
(
instance
hole
SpatialRelation
)
Merge.kif 992-992
hole
e' uma
instancia
de
Relacao Espacial
appearance as argument number 2
(
format
ChineseLanguage
hole
"%1 %n 是 %2 内的
hole
")
chinese_format.kif 377-377
(
format
EnglishLanguage
hole
"%1 is %n a
hole
in %2")
english_format.kif 378-378
(
format
FrenchLanguage
hole
"%1 est %n un trou dans %2")
french_format.kif 217-217
(
format
ItalianLanguage
hole
"%1 è %n un' apertura in %2")
relations-it.txt 132-132
(
format
JapaneseLanguage
hole
"%1 は %2 の
hole
では %n")
japanese_format.kif 2023-2023
(
format
PortugueseLanguage
hole
"%1 e' %n um buraco dans %2")
portuguese_format.kif 169-169
(
format
cz
hole
"%1 %p{je} %n{nen�} d�ra v %2")
relations-cz.txt 224-224
(
format
de
hole
"%1 ist ein loch in %2 %n{nicht}")
relations-de.txt 504-504
(
format
hi
hole
"%1 %2 men chhidra %n hai")
relations-hindi.txt 62-62
(
format
ro
hole
"%1 %n{nu} este o
hole
%t{deschizãturã} în %2")
relations-ro.kif 237-237
(
format
sv
hole
"%1 är %n{inte} ett hål i %2")
relations-sv.txt 234-234
(
format
tg
hole
"%1 %n ay ang butas sa %2")
relations-tg.txt 270-270
(
termFormat
ChineseLanguage
hole
"洞")
chinese_format.kif 378-378
(
termFormat
EnglishLanguage
hole
"hole")
domainEnglishFormat.kif 65853-65853
(
termFormat
tg
hole
"butas")
relations-tg.txt 271-271
antecedent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9885-9892
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de a
intersecao
das partes de
Objeto auto-conectado
e
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
Buraco
engloba
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))
(
contains
?OBJ1 ?OBJ2))
Merge.kif 1035-1039
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto
rempliecompleta
corretamente
Buraco
Objeto auto-conectado
contem
Objeto
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9894-9901
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
Buraco
e' uma &parte de a
uniao
das partes de
Buraco
e
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9911-9916
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
engloba
Buraco
Objeto auto-conectado
engloba
Objeto auto-conectado
(=>
(
and
(
instance
?land
CaveMatrix
)
(
instance
?cave
Cave
)
(
hole
?cave ?land))
(
equal
?land
(
HoleSkinFn
?cave)))
Geography.kif 6060-6065
Objeto auto-conectado
e' uma
instancia
de
CaveMatrix
Buraco
e' uma
instancia
de
Cave
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a a
superficie
do buraco
Buraco
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9935-9937
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e'
conectado
com
Objeto auto-conectado
(=>
(
hole
?HOLE ?OBJ)
(
instance
?HOLE
HoleRegion
))
Merge.kif 9871-9873
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e' uma
instancia
de
Buraco
(=>
(
hole
?HOLE ?OBJ)
(
not
(
instance
?OBJ
HoleRegion
)))
Merge.kif 9875-9878
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Buraco
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9880-9883
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
nao
engloba
%n
Objeto auto-conectado
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9885-9892
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de a
intersecao
das partes de
Objeto auto-conectado
e
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto auto-conectado
e' uma &parte de
Objeto auto-conectado
Buraco
engloba
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9894-9901
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
Buraco
e' uma &parte de a
uniao
das partes de
Buraco
e
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
and
(
instance
?DRILL
Drilling
)
(
patient
?DRILL ?OBJ))
(
exists
(?HOLE)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DRILL))
(
not
(
hole
?HOLE ?OBJ)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRILL))
(
hole
?HOLE ?OBJ)))))
Mid-level-ontology.kif 18099-18106
Processo
e' uma
instancia
de
Drilling
Entidade
e' um
patient
de
Processo
Entidade
Entidade
e' um
buraco
dans
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' um
buraco
dans
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?W
Whiskey
)
(
instance
?D
Distilling
)
(
result
?D ?W)
(
resource
?DR ?W)
(
instance
?DR
Drinking
))
(
exists
(?C ?T ?H)
(
and
(
instance
?C
Cask
)
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
holdsDuring
?T
(
partiallyFills
?W ?C))
(
earlier
?D ?T)
(
earlier
?T ?DR))))
Food.kif 3617-3632
Objeto
e' uma
instancia
de
Whiskey
Intervalo Temporal
e' uma
instancia
de
Distilling
Objeto
e' o
resultado
de
Intervalo Temporal
Objeto
e' um
recurso
para
Intervalo Temporal
R
Intervalo Temporal
R e' uma
instancia
de
Beber
Objeto auto-conectado
Intervalo Temporal
and
Buraco
Objeto auto-conectado
e' uma
instancia
de
Cask
Buraco
e' uma
instancia
de
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto
completa
partialmente
Objeto auto-conectado
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
R
(=>
(
attribute
?C
ContainerEmpty
)
(
not
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
partiallyFills
?S ?C)))))
Mid-level-ontology.kif 1628-1635
ContainerEmpty
e' um
atributo
de
Objeto auto-conectado
Buraco
Objeto
Buraco
e' uma
instancia
de
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto
completa
partialmente
Objeto auto-conectado
(=>
(
attribute
?C
ContainerFull
)
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
fills
?S ?C))))
Mid-level-ontology.kif 1646-1652
ContainerFull
e' um
atributo
de
Objeto auto-conectado
Buraco
Objeto
Buraco
e' uma
instancia
de
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto
completa
Objeto auto-conectado
(=>
(
contains
?OBJ1 ?OBJ2)
(
exists
(?HOLE)
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))))
Merge.kif 1028-1033
Objeto auto-conectado
contem
Objeto
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto
rempliecompleta
corretamente
Buraco
(=>
(
instance
?Canyon
Canyon
)
(
exists
(?Hole)
(
hole
?Hole ?Canyon)))
Geography.kif 4263-4266
Objeto auto-conectado
e' uma
instancia
de
Canyon
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
instance
?HOLE
HoleRegion
)
(
exists
(?OBJ)
(
hole
?HOLE ?OBJ)))
Merge.kif 9866-9869
Buraco
e' uma
instancia
de
Buraco
Objeto auto-conectado
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
instance
?PC
PorousContainer
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
HoleRegion
)
(
hole
?HOLE ?PC))))
Mid-level-ontology.kif 4517-4522
Objeto auto-conectado
e' uma
instancia
de
PorousContainer
Buraco
Buraco
e' uma
instancia
de
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
instance
?R
(
OperatingFn
InternalCombustionEngine
))
(
exists
(?E ?C ?F)
(
and
(
instance
?E
InternalCombustionEngine
)
(
instrument
?R ?E)
(
hole
?C ?E)
(
instance
?F
Combustion
)
(
completelyFills
?F ?C))))
Mid-level-ontology.kif 1765-1773
Processo
e' uma
instancia
de
OperatingFn
InternalCombustionEngine
Objeto auto-conectado
Buraco
and
Objeto
Objeto auto-conectado
e' uma
instancia
de
InternalCombustionEngine
Objeto auto-conectado
e' um
instrumento
para
Processo
Buraco
e' um
buraco
dans
Objeto auto-conectado
Objeto
e' uma
instancia
de
Combustao
Objeto
completa
completemente
Buraco
(=>
(
instance
?S
Sandal
)
(
exists
(?H1 ?H2)
(
and
(
instance
?H1
HoleRegion
)
(
hole
?H1 ?S)
(
instance
?H2
HoleRegion
)
(
hole
?H2 ?S)
(
not
(
equal
?H1 ?H2))
(
hasPurpose
?H1
(
exists
(?D ?F ?A ?I)
(
and
(
instance
?D
Dressing
)
(
instance
?F
Foot
)
(
agent
?D ?A)
(
part
?F ?A)
(
subProcess
?I ?D)
(
instance
?I
Inserting
)
(
patient
?I ?F)
(
destination
?I ?H1)))))))
Mid-level-ontology.kif 5212-5232
Objeto auto-conectado
e' uma
instancia
de
Sandal
Buraco
Buraco
Buraco
e' uma
instancia
de
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e' uma
instancia
de
Buraco
Buraco
e' um
buraco
dans
Objeto auto-conectado
Buraco
e'
igual
a
Buraco
Buraco
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Dressing
Entidade
e' uma
instancia
de
Foot
Entidade
e' um
agente
de
Entidade
Entidade
e' uma &parte de
Entidade
Entidade
e' um
sub
-processo de
Entidade
Entidade
e' uma
instancia
de
Inserting
Entidade
e' um
patient
de
Entidade
Entidade
termina
em
Buraco
(=>
(
instance
?Slot
ATMSlot
)
(
exists
(?ATM)
(
and
(
instance
?ATM
ATMMachine
)
(
hole
?Slot ?ATM))))
FinancialOntology.kif 3662-3667
Buraco
e' uma
instancia
de
ATMSlot
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
ATMMachine
Buraco
e' um
buraco
dans
Objeto auto-conectado
(=>
(
instance
?X
FuelCapLock
)
(
hasPurpose
?X
(
exists
(?TANK ?HOLE ?T)
(
and
(
instance
?TANK
GasTank
)
(
hole
?HOLE ?TANK)
(
decreasesLikelihood
(
holdsDuring
?T
(
and
(
connected
?X ?HOLE)
(
attribute
?X
Locked
)))
(
holdsDuring
?T
(
exists
(?STEAL ?FUEL)
(
and
(
instance
?STEAL
Stealing
)
(
instance
?FUEL
Fuel
)
(
located
?FUEL ?TANK)
(
patient
?STEAL ?FUEL)))))))))
Cars.kif 1016-1034
Fisico
e' uma
instancia
de
FuelCapLock
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
GasTank
Entidade
e' um
buraco
dans
Entidade
Fisico
e'
conectado
com
Entidade
Locked
e' um
atributo
de
Fisico
vale
durante
Entidade
diminui
a probabilidade de
Entidade
Entidade
Entidade
e' uma
instancia
de
Stealing
Entidade
e' uma
instancia
de
Fuel
Entidade
e'
situado
em
Entidade
Entidade
e' um
patient
de
Entidade
vale
durante
Entidade
(=>
(
instance
?cave
Cave
)
(
exists
(?land)
(
and
(
instance
?land
CaveMatrix
)
(
hole
?cave ?land))))
Geography.kif 6053-6058
Buraco
e' uma
instancia
de
Cave
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
CaveMatrix
Buraco
e' um
buraco
dans
Objeto auto-conectado
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