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
Die Zahl 1 Argument von
hole
ist ein
fall
von
HoleRegion
%n{nicht}
(
domain
hole
2
SelfConnectedObject
)
Merge.kif 995-995
Die Zahl 2 Argument von
hole
ist ein
fall
von
SelfConnectedObject
%n{nicht}
(
instance
hole
AsymmetricRelation
)
Merge.kif 993-993
hole
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
hole
BinaryPredicate
)
Merge.kif 991-991
hole
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
hole
SpatialRelation
)
Merge.kif 992-992
hole
ist ein
fall
von
SpatialRelation
%n{nicht}
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 65855-65855
(
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 9921-9928
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht},
dann es gibt
** SelfConnectedObject
um
** ** SelfConnectedObject
ist ein
korrektes
teil von der
durchschnitt
von den teilen von
** SelfConnectedObject
und
** ** SelfConnectedObject
%n{nicht} und
** HoleRegion
ist ein
loch
in
** ** SelfConnectedObject
%n{nicht}
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9939-9945
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht} und
** SelfConnectedObject
ist ein
teil
von
** SelfConnectedObject
%n{nicht},
dann
** HoleRegion
deckt
sich mit
** ** SelfConnectedObject
raeumlich %n{nicht} oder
** HoleRegion
ist ein
loch
in
** ** SelfConnectedObject
%n{nicht}
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))
(
contains
?OBJ1 ?OBJ2))
Merge.kif 1035-1039
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht} und
Object
fuellt
** HoleRegion
richtig,
dann
contains
** SelfConnectedObject
and
** Object
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9930-9937
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht},
dann fuer alle
** HoleRegion
wenn
** ** HoleRegion
ist ein
teil
von die
vereinigung
von den teilen von
** HoleRegion
und
** ** HoleRegion
%n{nicht},
dann
** ** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht}
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9947-9952
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht} und
** HoleRegion
deckt
sich mit
** ** HoleRegion
raeumlich %n{nicht},
dann
** SelfConnectedObject
deckt
sich mit
** ** SelfConnectedObject
raeumlich %n{nicht}
(=>
(
and
(
instance
?land
CaveMatrix
)
(
instance
?cave
Cave
)
(
hole
?cave ?land))
(
equal
?land
(
HoleSkinFn
?cave)))
Geography.kif 6060-6065
Wenn
SelfConnectedObject
ist ein
fall
von
CaveMatrix
%n{nicht} und
HoleRegion
ist ein
fall
von
Cave
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht},
dann
** SelfConnectedObject
ist gleich
HoleSkinFn
** HoleRegion
%n{nicht}
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9971-9973
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht},
dann
** HoleRegion
wird an
** SelfConnectedObject
angeschlossen
(=>
(
hole
?HOLE ?OBJ)
(
instance
?HOLE
HoleRegion
))
Merge.kif 9907-9909
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht},
dann
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht}
(=>
(
hole
?HOLE ?OBJ)
(
not
(
instance
?OBJ
HoleRegion
)))
Merge.kif 9911-9914
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht},
dann
** SelfConnectedObject
ist ein
fall
von
HoleRegion
nicht
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9916-9919
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht},
dann
** HoleRegion
deckt
sich mit
** SelfConnectedObject
raeumlich nicht
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9921-9928
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht},
dann es gibt
** SelfConnectedObject
um
** ** SelfConnectedObject
ist ein
korrektes
teil von der
durchschnitt
von den teilen von
** SelfConnectedObject
und
** ** SelfConnectedObject
%n{nicht} und
** HoleRegion
ist ein
loch
in
** ** SelfConnectedObject
%n{nicht}
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9939-9945
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht} und
** SelfConnectedObject
ist ein
teil
von
** SelfConnectedObject
%n{nicht},
dann
** HoleRegion
deckt
sich mit
** ** SelfConnectedObject
raeumlich %n{nicht} oder
** HoleRegion
ist ein
loch
in
** ** SelfConnectedObject
%n{nicht}
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9930-9937
Wenn
HoleRegion
ist ein
loch
in
SelfConnectedObject
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht},
dann fuer alle
** HoleRegion
wenn
** ** HoleRegion
ist ein
teil
von die
vereinigung
von den teilen von
** HoleRegion
und
** ** HoleRegion
%n{nicht},
dann
** ** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht}
(=>
(
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 18126-18133
Wenn
Process
ist ein
fall
von
Drilling
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
loch
in
** Entity
nicht haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
** ** entity
ist ein
loch
in
** Entity
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Whiskey
%n{nicht} und
TimeInterval
ist ein
fall
von
Distilling
%n{nicht} und
** Object
ist ein
resultat
von
** TimeInterval
%n{nicht} und
** Object
ist ein
hilfmittel
fuer
** TimeInterval
R %n{nicht} und
** TimeInterval
R ist ein
fall
von
Drinking
%n{nicht},
dann es gibt
SelfConnectedObject
,
** TimeInterval
, and und
HoleRegion
um
** SelfConnectedObject
ist ein
fall
von
Cask
%n{nicht} und
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht} und
** Object
fuellt
** SelfConnectedObject
teilweise haelt
waehrend
** ** TimeInterval
%n{nicht} und
** TimeInterval
geschieht frueh als
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
R %n{nicht}
(=>
(
attribute
?C
ContainerEmpty
)
(
not
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
partiallyFills
?S ?C)))))
Mid-level-ontology.kif 1621-1628
Wenn
ContainerEmpty
ist ein
attribut
von
SelfConnectedObject
%n{nicht},
dann es gibt nicht
HoleRegion
und
Object
um
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht} und
** Object
fuellt
** SelfConnectedObject
teilweise
(=>
(
attribute
?C
ContainerFull
)
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
fills
?S ?C))))
Mid-level-ontology.kif 1639-1645
Wenn
ContainerFull
ist ein
attribut
von
SelfConnectedObject
%n{nicht},
dann es gibt
HoleRegion
und
Object
um
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht} und
** Object
fuellt
** SelfConnectedObject
%n{nicht}
(=>
(
contains
?OBJ1 ?OBJ2)
(
exists
(?HOLE)
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))))
Merge.kif 1028-1033
Wenn
contains
SelfConnectedObject
and
Object
,
dann es gibt
HoleRegion
um
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht} und
** Object
fuellt
** HoleRegion
richtig
(=>
(
instance
?Canyon
Canyon
)
(
exists
(?Hole)
(
hole
?Hole ?Canyon)))
Geography.kif 4263-4266
Wenn
SelfConnectedObject
ist ein
fall
von
Canyon
%n{nicht},
dann es gibt
HoleRegion
um
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht}
(=>
(
instance
?HOLE
HoleRegion
)
(
exists
(?OBJ)
(
hole
?HOLE ?OBJ)))
Merge.kif 9902-9905
Wenn
HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht},
dann es gibt
SelfConnectedObject
um
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht}
(=>
(
instance
?PC
PorousContainer
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
HoleRegion
)
(
hole
?HOLE ?PC))))
Mid-level-ontology.kif 4512-4517
Wenn
SelfConnectedObject
ist ein
fall
von
PorousContainer
%n{nicht},
dann es gibt
HoleRegion
um
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht}
(=>
(
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 1758-1766
Wenn
Process
ist ein
fall
von
OperatingFn
InternalCombustionEngine
%n{nicht},
dann es gibt
SelfConnectedObject
,
HoleRegion
, and und
Object
um
** SelfConnectedObject
ist ein
fall
von
InternalCombustionEngine
%n{nicht} und
** SelfConnectedObject
ist ein
instrument
fuer
** Process
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht} und
** Object
ist ein
fall
von
Combustion
%n{nicht} und
** Object
fuellt
** HoleRegion
vollstaendig
(=>
(
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 5206-5226
Wenn
SelfConnectedObject
ist ein
fall
von
Sandal
%n{nicht},
dann es gibt
HoleRegion
und
** HoleRegion
um
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht} und
** ** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** ** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht} und
** HoleRegion
ist gleich
** ** HoleRegion
nicht und
** HoleRegion
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Dressing
%n{nicht} und
** ** entity
ist ein
fall
von
Foot
%n{nicht} und
** entity
ist der
agent
von
** ** entity
%n{nicht} und
** ** entity
ist ein
teil
von
** ** entity
%n{nicht} und
** ** entity
ist ein
subProzess
von
** entity
und
** ** entity
ist ein
fall
von
Inserting
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
endet an
** HoleRegion
%n{nicht} %n{nicht}
(=>
(
instance
?Slot
ATMSlot
)
(
exists
(?ATM)
(
and
(
instance
?ATM
ATMMachine
)
(
hole
?Slot ?ATM))))
FinancialOntology.kif 3662-3667
Wenn
HoleRegion
ist ein
fall
von
ATMSlot
%n{nicht},
dann es gibt
SelfConnectedObject
um
** SelfConnectedObject
ist ein
fall
von
ATMMachine
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
FuelCapLock
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
GasTank
%n{nicht} und
** ** entity
ist ein
loch
in
** entity
%n{nicht} und
** Physical
wird an
** ** entity
angeschlossen und
Locked
ist ein
attribut
von
** Physical
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} verringert die Wahrscheinlichkeit von es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
Stealing
%n{nicht} und
** ** entity
ist ein
fall
von
Fuel
%n{nicht} und
** ** entity
befindet
sich an %n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} %n{nicht} %n{nicht}
(=>
(
instance
?cave
Cave
)
(
exists
(?land)
(
and
(
instance
?land
CaveMatrix
)
(
hole
?cave ?land))))
Geography.kif 6053-6058
Wenn
HoleRegion
ist ein
fall
von
Cave
%n{nicht},
dann es gibt
SelfConnectedObject
um
** SelfConnectedObject
ist ein
fall
von
CaveMatrix
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht}
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