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
Le nombre 1 argument de
hole
est une
instance
de
trou
(
domain
hole
2
SelfConnectedObject
)
Merge.kif 995-995
Le nombre 2 argument de
hole
est une
instance
de
objet en une partie
(
instance
hole
AsymmetricRelation
)
Merge.kif 993-993
hole
est une
instance
de
relation asym�trique
(
instance
hole
BinaryPredicate
)
Merge.kif 991-991
hole
est une
instance
de
pr�dicat binaire
(
instance
hole
SpatialRelation
)
Merge.kif 992-992
hole
est une
instance
de
relation spatial
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
Trou
est un
trou
dans
objet en une partie
trou
est un
trou
dans
objet en une partie
objet en une partie
objet en une partie
est une
partie
de
l'
intersection
des parties de
objet en une partie
et
objet en une partie
trou
est un
trou
dans
objet en une partie
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
Trou
est un
trou
dans
objet en une partie
objet en une partie
est une
partie
de
objet en une partie
trou
recouvre
objet en une partie
trou
est un
trou
dans
objet en une partie
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))
(
contains
?OBJ1 ?OBJ2))
Merge.kif 1035-1039
Trou
est un
trou
dans
objet en une partie
objet
remplie
compl
�tement
trou
objet en une partie
contient
objet
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9894-9901
Trou
est un
trou
dans
objet en une partie
trou
est un
trou
dans
objet en une partie
trou
trou
est une
partie
de l'
union
des parties de
trou
et
trou
trou
est un
trou
dans
objet en une partie
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9911-9916
Trou
est un
trou
dans
objet en une partie
trou
est un
trou
dans
objet en une partie
trou
recouvre
trou
objet en une partie
recouvre
objet en une partie
(=>
(
and
(
instance
?land
CaveMatrix
)
(
instance
?cave
Cave
)
(
hole
?cave ?land))
(
equal
?land
(
HoleSkinFn
?cave)))
Geography.kif 6060-6065
Objet en une partie
est une
instance
de
CaveMatrix
trou
est une
instance
de
Cave
trou
est un
trou
dans
objet en une partie
objet en une partie
est
surface
du trou
trou
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9935-9937
Trou
est un
trou
dans
objet en une partie
trou
est
connect
� �
objet en une partie
(=>
(
hole
?HOLE ?OBJ)
(
instance
?HOLE
HoleRegion
))
Merge.kif 9871-9873
Trou
est un
trou
dans
objet en une partie
trou
est une
instance
de
trou
(=>
(
hole
?HOLE ?OBJ)
(
not
(
instance
?OBJ
HoleRegion
)))
Merge.kif 9875-9878
Trou
est un
trou
dans
objet en une partie
objet en une partie
est une
instance
de
trou
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9880-9883
Trou
est un
trou
dans
objet en une partie
trou
ne
recouvre
%n{pas}
objet en une partie
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9885-9892
Trou
est un
trou
dans
objet en une partie
trou
est un
trou
dans
objet en une partie
objet en une partie
objet en une partie
est une
partie
de
l'
intersection
des parties de
objet en une partie
et
objet en une partie
trou
est un
trou
dans
objet en une partie
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
Trou
est un
trou
dans
objet en une partie
objet en une partie
est une
partie
de
objet en une partie
trou
recouvre
objet en une partie
trou
est un
trou
dans
objet en une partie
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9894-9901
Trou
est un
trou
dans
objet en une partie
trou
est un
trou
dans
objet en une partie
trou
trou
est une
partie
de l'
union
des parties de
trou
et
trou
trou
est un
trou
dans
objet en une partie
(=>
(
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
Processus
est une
instance
de
Drilling
entit�
est un
patient
de
processus
entit�
entit�
est un
trou
dans
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
est un
trou
dans
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Objet
est une
instance
de
Whiskey
interval temporel
est une
instance
de
Distilling
objet
est le
resultat
de
interval temporel
objet
est une
resource
pour
interval temporel
R
interval temporel
R est une
instance
de
boire
objet en une partie
interval temporel
and
trou
objet en une partie
est une
instance
de
Cask
trou
est une
instance
de
trou
trou
est un
trou
dans
objet en une partie
objet
remplie
partiellemnet
objet en une partie
pendant
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
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
est un
attribut
de
objet en une partie
trou
objet
trou
est une
instance
de
trou
trou
est un
trou
dans
objet en une partie
objet
remplie
partiellemnet
objet en une partie
(=>
(
attribute
?C
ContainerFull
)
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
fills
?S ?C))))
Mid-level-ontology.kif 1646-1652
ContainerFull
est un
attribut
de
objet en une partie
trou
objet
trou
est une
instance
de
trou
trou
est un
trou
dans
objet en une partie
objet
remplie
objet en une partie
(=>
(
contains
?OBJ1 ?OBJ2)
(
exists
(?HOLE)
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))))
Merge.kif 1028-1033
Objet en une partie
contient
objet
trou
trou
est un
trou
dans
objet en une partie
objet
remplie
compl
�tement
trou
(=>
(
instance
?Canyon
Canyon
)
(
exists
(?Hole)
(
hole
?Hole ?Canyon)))
Geography.kif 4263-4266
Objet en une partie
est une
instance
de
Canyon
trou
trou
est un
trou
dans
objet en une partie
(=>
(
instance
?HOLE
HoleRegion
)
(
exists
(?OBJ)
(
hole
?HOLE ?OBJ)))
Merge.kif 9866-9869
Trou
est une
instance
de
trou
objet en une partie
trou
est un
trou
dans
objet en une partie
(=>
(
instance
?PC
PorousContainer
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
HoleRegion
)
(
hole
?HOLE ?PC))))
Mid-level-ontology.kif 4517-4522
Objet en une partie
est une
instance
de
PorousContainer
trou
trou
est une
instance
de
trou
trou
est un
trou
dans
objet en une partie
(=>
(
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
Processus
est une
instance
de
OperatingFn
InternalCombustionEngine
objet en une partie
trou
and
objet
objet en une partie
est une
instance
de
InternalCombustionEngine
objet en une partie
est un
instrument
pour
processus
trou
est un
trou
dans
objet en une partie
objet
est une
instance
de
combustion
objet
remplie
compl
�tement
trou
(=>
(
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
Objet en une partie
est une
instance
de
Sandal
trou
trou
trou
est une
instance
de
trou
trou
est un
trou
dans
objet en une partie
trou
est une
instance
de
trou
trou
est un
trou
dans
objet en une partie
trou
est
trou
trou
a pour
but
entit�
entit�
,
entit�
and
entit�
entit�
est une
instance
de
Dressing
entit�
est une
instance
de
Foot
entit�
est un
agent
de
entit�
entit�
est une
partie
de
entit�
entit�
est un
sous
-processus de
entit�
entit�
est une
instance
de
Inserting
entit�
est un
patient
de
entit�
entit�
aboutit
�
trou
(=>
(
instance
?Slot
ATMSlot
)
(
exists
(?ATM)
(
and
(
instance
?ATM
ATMMachine
)
(
hole
?Slot ?ATM))))
FinancialOntology.kif 3662-3667
Trou
est une
instance
de
ATMSlot
objet en une partie
objet en une partie
est une
instance
de
ATMMachine
trou
est un
trou
dans
objet en une partie
(=>
(
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
Physique
est une
instance
de
FuelCapLock
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
GasTank
entit�
est un
trou
dans
entit�
physique
est
connect
� �
entit�
Locked
est un
attribut
de
physique
pendant
entit�
diminue
la probabilit� de
entit�
entit�
entit�
est une
instance
de
Stealing
entit�
est une
instance
de
Fuel
entit�
est
situ
� �
entit�
entit�
est un
patient
de
entit�
pendant
entit�
(=>
(
instance
?cave
Cave
)
(
exists
(?land)
(
and
(
instance
?land
CaveMatrix
)
(
hole
?cave ?land))))
Geography.kif 6053-6058
Trou
est une
instance
de
Cave
objet en une partie
objet en une partie
est une
instance
de
CaveMatrix
trou
est un
trou
dans
objet en une partie
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