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
Il numero 1 argomenti di
hole
è un
istanza
di
apertura
(
domain
hole
2
SelfConnectedObject
)
Merge.kif 995-995
Il numero 2 argomenti di
hole
è un
istanza
di
OggettoIntegro
(
instance
hole
AsymmetricRelation
)
Merge.kif 993-993
hole
è un'
istanza
di
RelazioneAsimmetrica
(
instance
hole
BinaryPredicate
)
Merge.kif 991-991
hole
è un'
istanza
di
PredicatoBinario
(
instance
hole
SpatialRelation
)
Merge.kif 992-992
hole
è un'
istanza
di
RelazioneSpaziale
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
Apertura
è un'
apertura
in
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
OggettoIntegro
OggettoIntegro
è una
Parte
propria di l'
intersezione
delle parti di
OggettoIntegro
e
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
Apertura
è un'
apertura
in
OggettoIntegro
OggettoIntegro
è una
parte
di
OggettoIntegro
apertura
si
sovrappones a
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))
(
contains
?OBJ1 ?OBJ2))
Merge.kif 1035-1039
Apertura
è un'
apertura
in
OggettoIntegro
Oggetto
riempie
propriamentes
apertura
contains
OggettoIntegro
and
Oggetto
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9894-9901
Apertura
è un'
apertura
in
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
apertura
apertura
è una
parte
di l'
unione
delle parti di
apertura
e
apertura
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9911-9916
Apertura
è un'
apertura
in
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
apertura
si
sovrappones a
apertura
OggettoIntegro
si
sovrappones a
OggettoIntegro
(=>
(
and
(
instance
?land
CaveMatrix
)
(
instance
?cave
Cave
)
(
hole
?cave ?land))
(
equal
?land
(
HoleSkinFn
?cave)))
Geography.kif 6060-6065
OggettoIntegro
è un'
istanza
di
CaveMatrix
apertura
è un'
istanza
di
Cave
apertura
è un'
apertura
in
OggettoIntegro
OggettoIntegro
is
uguale
a
HoleSkinFn
apertura
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9935-9937
Apertura
è un'
apertura
in
OggettoIntegro
apertura
è
connesso
a
OggettoIntegro
(=>
(
hole
?HOLE ?OBJ)
(
instance
?HOLE
HoleRegion
))
Merge.kif 9871-9873
Apertura
è un'
apertura
in
OggettoIntegro
apertura
è un'
istanza
di
apertura
(=>
(
hole
?HOLE ?OBJ)
(
not
(
instance
?OBJ
HoleRegion
)))
Merge.kif 9875-9878
Apertura
è un'
apertura
in
OggettoIntegro
OggettoIntegro
è un'
istanza
di
apertura
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9880-9883
Apertura
è un'
apertura
in
OggettoIntegro
apertura
non
si
sovrappone a
OggettoIntegro
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9885-9892
Apertura
è un'
apertura
in
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
OggettoIntegro
OggettoIntegro
è una
Parte
propria di l'
intersezione
delle parti di
OggettoIntegro
e
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
Apertura
è un'
apertura
in
OggettoIntegro
OggettoIntegro
è una
parte
di
OggettoIntegro
apertura
si
sovrappones a
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9894-9901
Apertura
è un'
apertura
in
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
apertura
apertura
è una
parte
di l'
unione
delle parti di
apertura
e
apertura
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
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
è un'
istanza
di
Drilling
Entit�
è un
paziente
di
Processo
Entit�
Entit�
è un'
apertura
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è un'
apertura
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
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
Oggetto
è un'
istanza
di
Whiskey
IntervalloTemporale
è un'
istanza
di
Distilling
Oggetto
è un
risultato
di
IntervalloTemporale
Oggetto
è una
risorsa
per
IntervalloTemporale
R
IntervalloTemporale
R è un'
istanza
di
Bere
OggettoIntegro
IntervalloTemporale
and
apertura
OggettoIntegro
è un'
istanza
di
Cask
apertura
è un'
istanza
di
apertura
apertura
è un'
apertura
in
OggettoIntegro
Oggetto
riempie
parzialmentes
OggettoIntegro
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
R
(=>
(
attribute
?C
ContainerEmpty
)
(
not
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
partiallyFills
?S ?C)))))
Mid-level-ontology.kif 1628-1635
attribute
OggettoIntegro
and
ContainerEmpty
apertura
Oggetto
apertura
è un'
istanza
di
apertura
apertura
è un'
apertura
in
OggettoIntegro
Oggetto
riempie
parzialmentes
OggettoIntegro
(=>
(
attribute
?C
ContainerFull
)
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
fills
?S ?C))))
Mid-level-ontology.kif 1646-1652
attribute
OggettoIntegro
and
ContainerFull
apertura
Oggetto
apertura
è un'
istanza
di
apertura
apertura
è un'
apertura
in
OggettoIntegro
Oggetto
riempie
s
OggettoIntegro
(=>
(
contains
?OBJ1 ?OBJ2)
(
exists
(?HOLE)
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))))
Merge.kif 1028-1033
contains
OggettoIntegro
and
Oggetto
apertura
apertura
è un'
apertura
in
OggettoIntegro
Oggetto
riempie
propriamentes
apertura
(=>
(
instance
?Canyon
Canyon
)
(
exists
(?Hole)
(
hole
?Hole ?Canyon)))
Geography.kif 4263-4266
OggettoIntegro
è un'
istanza
di
Canyon
apertura
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
instance
?HOLE
HoleRegion
)
(
exists
(?OBJ)
(
hole
?HOLE ?OBJ)))
Merge.kif 9866-9869
Apertura
è un'
istanza
di
apertura
OggettoIntegro
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
instance
?PC
PorousContainer
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
HoleRegion
)
(
hole
?HOLE ?PC))))
Mid-level-ontology.kif 4517-4522
OggettoIntegro
è un'
istanza
di
PorousContainer
apertura
apertura
è un'
istanza
di
apertura
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
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
è un'
istanza
di
OperatingFn
InternalCombustionEngine
OggettoIntegro
apertura
and
Oggetto
OggettoIntegro
è un'
istanza
di
InternalCombustionEngine
OggettoIntegro
è uno
strumento
per
Processo
apertura
è un'
apertura
in
OggettoIntegro
Oggetto
è un'
istanza
di
Combustione
Oggetto
riempie
completamentes
apertura
(=>
(
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
OggettoIntegro
è un'
istanza
di
Sandal
apertura
apertura
apertura
è un'
istanza
di
apertura
apertura
è un'
apertura
in
OggettoIntegro
apertura
è un'
istanza
di
apertura
apertura
è un'
apertura
in
OggettoIntegro
apertura
is
uguale
a
apertura
apertura
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Dressing
Entit�
è un'
istanza
di
Foot
Entit�
è un
agente
di
Entit�
Entit�
è una
parte
di
Entit�
Entit�
è un
sottoprocesso
di
Entit�
Entit�
è un'
istanza
di
Inserting
Entit�
è un
paziente
di
Entit�
Entit�
fine
s in
apertura
(=>
(
instance
?Slot
ATMSlot
)
(
exists
(?ATM)
(
and
(
instance
?ATM
ATMMachine
)
(
hole
?Slot ?ATM))))
FinancialOntology.kif 3662-3667
Apertura
è un'
istanza
di
ATMSlot
OggettoIntegro
OggettoIntegro
è un'
istanza
di
ATMMachine
apertura
è un'
apertura
in
OggettoIntegro
(=>
(
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
Entit�Concreta
è un'
istanza
di
FuelCapLock
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
GasTank
Entit�
è un'
apertura
in
Entit�
decreasesLikelihood
Entit�Concreta
è
connesso
a
Entit�
attribute
Entit�Concreta
and
Locked
vales
durante
Entit�
and
Entit�
Entit�
Entit�
è un'
istanza
di
Stealing
Entit�
è un'
istanza
di
Fuel
Entit�
è
localizzato
in
Entit�
Entit�
è un
paziente
di
Entit�
vales
durante
Entit�
(=>
(
instance
?cave
Cave
)
(
exists
(?land)
(
and
(
instance
?land
CaveMatrix
)
(
hole
?cave ?land))))
Geography.kif 6053-6058
Apertura
è un'
istanza
di
Cave
OggettoIntegro
OggettoIntegro
è un'
istanza
di
CaveMatrix
apertura
è un'
apertura
in
OggettoIntegro
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