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
域
hole
, 1 and
HoleRegion
(
domain
hole
2
SelfConnectedObject
)
Merge.kif 995-995
域
hole
, 2 and
SelfConnectedObject
(
instance
hole
AsymmetricRelation
)
Merge.kif 993-993
例
hole
and
AsymmetricRelation
(
instance
hole
BinaryPredicate
)
Merge.kif 991-991
例
hole
and
BinaryPredicate
(
instance
hole
SpatialRelation
)
Merge.kif 992-992
例
hole
and
SpatialRelation
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
hole
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
SelfConnectedObject
適當的部分
SelfConnectedObject
and
mereological產品
SelfConnectedObject
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9939-9945
hole
HoleRegion
and
SelfConnectedObject
部分
SelfConnectedObject
and
SelfConnectedObject
在空間上重疊
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))
(
contains
?OBJ1 ?OBJ2))
Merge.kif 1035-1039
hole
HoleRegion
and
SelfConnectedObject
適當填充
Object
and
HoleRegion
包含
SelfConnectedObject
and
Object
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9930-9937
hole
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
HoleRegion
部分
HoleRegion
and
mereological 總和
HoleRegion
and
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9947-9952
hole
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
在空間上重疊
HoleRegion
and
HoleRegion
在空間上重疊
SelfConnectedObject
and
SelfConnectedObject
(=>
(
and
(
instance
?land
CaveMatrix
)
(
instance
?cave
Cave
)
(
hole
?cave ?land))
(
equal
?land
(
HoleSkinFn
?cave)))
Geography.kif 6060-6065
例
SelfConnectedObject
and
洞穴矩陣
例
HoleRegion
and
洞穴
hole
HoleRegion
and
SelfConnectedObject
等於
SelfConnectedObject
and
洞皮
HoleRegion
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9971-9973
hole
HoleRegion
and
SelfConnectedObject
連接的
HoleRegion
and
SelfConnectedObject
(=>
(
hole
?HOLE ?OBJ)
(
instance
?HOLE
HoleRegion
))
Merge.kif 9907-9909
hole
HoleRegion
and
SelfConnectedObject
例
HoleRegion
and
HoleRegion
(=>
(
hole
?HOLE ?OBJ)
(
not
(
instance
?OBJ
HoleRegion
)))
Merge.kif 9911-9914
hole
HoleRegion
and
SelfConnectedObject
例
SelfConnectedObject
and
HoleRegion
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9916-9919
hole
HoleRegion
and
SelfConnectedObject
在空間上重疊
HoleRegion
and
SelfConnectedObject
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9921-9928
hole
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
SelfConnectedObject
適當的部分
SelfConnectedObject
and
mereological產品
SelfConnectedObject
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9939-9945
hole
HoleRegion
and
SelfConnectedObject
部分
SelfConnectedObject
and
SelfConnectedObject
在空間上重疊
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9930-9937
hole
HoleRegion
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
HoleRegion
部分
HoleRegion
and
mereological 總和
HoleRegion
and
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
(=>
(
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
例
Process
and
鑽孔
患者
Process
and
Entity
entity
持有期間
開始
何時
Process
and
hole
entity
and
Entity
持有期間
結束
何時
Process
and
hole
entity
and
Entity
(=>
(
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
例
Object
and
威士忌酒
例
TimeInterval
and
蒸餾
結果
TimeInterval
and
Object
資源
TimeInterval
R and
Object
例
TimeInterval
R and
Drinking
SelfConnectedObject
TimeInterval
and
HoleRegion
例
SelfConnectedObject
and
Cask
例
HoleRegion
and
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
持有期間
TimeInterval
and
部分填補
Object
and
SelfConnectedObject
早期
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
R
(=>
(
attribute
?C
ContainerEmpty
)
(
not
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
partiallyFills
?S ?C)))))
Mid-level-ontology.kif 1621-1628
attribute
SelfConnectedObject
and
空容器
HoleRegion
Object
例
HoleRegion
and
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
部分填補
Object
and
SelfConnectedObject
(=>
(
attribute
?C
ContainerFull
)
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
fills
?S ?C))))
Mid-level-ontology.kif 1639-1645
attribute
SelfConnectedObject
and
容器滿了
HoleRegion
Object
例
HoleRegion
and
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
填充
Object
and
SelfConnectedObject
(=>
(
contains
?OBJ1 ?OBJ2)
(
exists
(?HOLE)
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))))
Merge.kif 1028-1033
包含
SelfConnectedObject
and
Object
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
適當填充
Object
and
HoleRegion
(=>
(
instance
?Canyon
Canyon
)
(
exists
(?Hole)
(
hole
?Hole ?Canyon)))
Geography.kif 4263-4266
例
SelfConnectedObject
and
峽谷
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
(=>
(
instance
?HOLE
HoleRegion
)
(
exists
(?OBJ)
(
hole
?HOLE ?OBJ)))
Merge.kif 9902-9905
例
HoleRegion
and
HoleRegion
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
(=>
(
instance
?PC
PorousContainer
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
HoleRegion
)
(
hole
?HOLE ?PC))))
Mid-level-ontology.kif 4512-4517
例
SelfConnectedObject
and
有孔容器
HoleRegion
例
HoleRegion
and
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
(=>
(
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
例
Process
and
內燃機
的
operating
SelfConnectedObject
HoleRegion
and
Object
例
SelfConnectedObject
and
內燃機
儀器
Process
and
SelfConnectedObject
hole
HoleRegion
and
SelfConnectedObject
例
Object
and
Combustion
完全填滿
Object
and
HoleRegion
(=>
(
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
例
SelfConnectedObject
and
檀香
HoleRegion
HoleRegion
例
HoleRegion
and
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
例
HoleRegion
and
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
等於
HoleRegion
and
HoleRegion
有目的
HoleRegion
and
entity
entity
,
entity
and
entity
例
entity
and
調味料
例
entity
and
足
agent
entity
and
entity
部分
entity
and
entity
子過程
entity
and
entity
例
entity
and
插入
患者
entity
and
entity
目的地
entity
and
HoleRegion
(=>
(
instance
?Slot
ATMSlot
)
(
exists
(?ATM)
(
and
(
instance
?ATM
ATMMachine
)
(
hole
?Slot ?ATM))))
FinancialOntology.kif 3662-3667
例
HoleRegion
and
ATM插槽
SelfConnectedObject
例
SelfConnectedObject
and
自動提款機
hole
HoleRegion
and
SelfConnectedObject
(=>
(
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
例
Physical
and
FuelCapLock
有目的
Physical
and
entity
entity
and
entity
例
entity
and
GasTank
hole
entity
and
entity
降低可能性
持有期間
entity
and
連接的
Physical
and
entity
attribute
Physical
and
鎖定
and
持有期間
entity
and
entity
entity
例
entity
and
偷竊行為
例
entity
and
汽油
位於
entity
and
entity
患者
entity
and
entity
(=>
(
instance
?cave
Cave
)
(
exists
(?land)
(
and
(
instance
?land
CaveMatrix
)
(
hole
?cave ?land))))
Geography.kif 6053-6058
例
HoleRegion
and
洞穴
SelfConnectedObject
例
SelfConnectedObject
and
洞穴矩陣
hole
HoleRegion
and
SelfConnectedObject
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