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
洞
的 1 数量 是
洞
的
instance
(
domain
hole
2
SelfConnectedObject
)
Merge.kif 995-995
洞
的 2 数量 是
自身连接物体
的
instance
(
instance
hole
AsymmetricRelation
)
Merge.kif 993-993
洞
是
非对称关系
的
instance
(
instance
hole
BinaryPredicate
)
Merge.kif 991-991
洞
是
二元谓语
的
instance
(
instance
hole
SpatialRelation
)
Merge.kif 992-992
洞
是
空间关系
的
instance
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
和
那个 洞
是
另一个 自身连接物体
内的
hole
,
然后 有存在
第三 自身连接物体
这样
那个 第三 自身连接物体
是 包括
那个 自身连接物体
和
那个 另外 自身连接物体
相交的部分 的
properPart
和
那个 洞
是
那个 第三 自身连接物体
内的
hole
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9939-9945
如果
洞
是
自身连接物体
内的
hole
和
那个 自身连接物体
是
另一个 自身连接物体
的
part
,
然后
那个 洞
和
那个 另外 自身连接物体
重叠 或
那个 洞
是
那个 另外 自身连接物体
内的
hole
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))
(
contains
?OBJ1 ?OBJ2))
Merge.kif 1035-1039
如果
洞
是
自身连接物体
内的
hole
和
客体
适当的
fills
那个 洞
,
然后
那个 自身连接物体
contains
那个 客体
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9930-9937
如果
洞
是
自身连接物体
内的
hole
和
另一个 洞
是
那个 自身连接物体
内的
hole
,
然后 对所有
第三 洞
如果
那个 第三 洞
是 包括属于
那个 另外 洞
或
那个 洞
的部分 的
part
,
然后
那个 第三 洞
是
那个 自身连接物体
内的
hole
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9947-9952
如果
洞
是
自身连接物体
内的
hole
和
另一个 洞
是
另一个 自身连接物体
内的
hole
和
那个 洞
和
那个 另外 洞
重叠,
然后
那个 自身连接物体
和
那个 另外 自身连接物体
重叠
(=>
(
and
(
instance
?land
CaveMatrix
)
(
instance
?cave
Cave
)
(
hole
?cave ?land))
(
equal
?land
(
HoleSkinFn
?cave)))
Geography.kif 6060-6065
如果
自身连接物体
是
洞穴矩阵
的
instance
和
洞
是
洞穴
的
instance
和
那个 洞
是
那个 自身连接物体
内的
hole
,
然后
那个 自身连接物体
equal
洞
那个 洞
的
surface
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9971-9973
如果
洞
是
自身连接物体
内的
hole
,
然后
那个 洞
和
那个 自身连接物体
是
connected
(=>
(
hole
?HOLE ?OBJ)
(
instance
?HOLE
HoleRegion
))
Merge.kif 9907-9909
如果
洞
是
自身连接物体
内的
hole
,
然后
那个 洞
是
洞
的
instance
(=>
(
hole
?HOLE ?OBJ)
(
not
(
instance
?OBJ
HoleRegion
)))
Merge.kif 9911-9914
如果
洞
是
自身连接物体
内的
hole
,
然后
那个 自身连接物体
不 是
洞
的
instance
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9916-9919
如果
洞
是
自身连接物体
内的
hole
,
然后
那个 洞
和
那个 自身连接物体
不 重叠
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9921-9928
如果
洞
是
自身连接物体
内的
hole
和
那个 洞
是
另一个 自身连接物体
内的
hole
,
然后 有存在
第三 自身连接物体
这样
那个 第三 自身连接物体
是 包括
那个 自身连接物体
和
那个 另外 自身连接物体
相交的部分 的
properPart
和
那个 洞
是
那个 第三 自身连接物体
内的
hole
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9939-9945
如果
洞
是
自身连接物体
内的
hole
和
那个 自身连接物体
是
另一个 自身连接物体
的
part
,
然后
那个 洞
和
那个 另外 自身连接物体
重叠 或
那个 洞
是
那个 另外 自身连接物体
内的
hole
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9930-9937
如果
洞
是
自身连接物体
内的
hole
和
另一个 洞
是
那个 自身连接物体
内的
hole
,
然后 对所有
第三 洞
如果
那个 第三 洞
是 包括属于
那个 另外 洞
或
那个 洞
的部分 的
part
,
然后
那个 第三 洞
是
那个 自身连接物体
内的
hole
(=>
(
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
如果
过程
是
钻孔
的
instance
和
实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 另外 实体
不 是
那个 实体
内的
hole
在
那个 过程
出现 的
time
的开始
holdsDuring
和
那个 另外 实体
是
那个 实体
内的
hole
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
如果
客体
是
威士忌酒
的
instance
和
时距
是
蒸馏
的
instance
和
那个 客体
是
那个 时距
的
result
和
那个 客体
是
那个 时距
R 的
resource
和
那个 时距
R 是
饮
的
instance
,
然后 有存在
自身连接物体
,
第三 时距
, and 和
洞
这样
那个 自身连接物体
是
Cask
的
instance
和
那个 洞
是
洞
的
instance
和
那个 洞
是
那个 自身连接物体
内的
hole
和
那个 客体
fills
了
那个 自身连接物体
的一部分 在
那个 第三 时距
holdsDuring
和
那个 时距
比
那个 第三 时距
发生的
earlier
和
那个 第三 时距
比
那个 时距
R发生的
earlier
(=>
(
attribute
?C
ContainerEmpty
)
(
not
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
partiallyFills
?S ?C)))))
Mid-level-ontology.kif 1621-1628
如果
空容器
是
自身连接物体
的
attribute
,
然后 不存在
洞
和
客体
这样
那个 洞
是
洞
的
instance
和
那个 洞
是
那个 自身连接物体
内的
hole
和
那个 客体
fills
了
那个 自身连接物体
的一部分
(=>
(
attribute
?C
ContainerFull
)
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
fills
?S ?C))))
Mid-level-ontology.kif 1639-1645
如果
容器满了
是
自身连接物体
的
attribute
,
然后 有存在
洞
和
客体
这样
那个 洞
是
洞
的
instance
和
那个 洞
是
那个 自身连接物体
内的
hole
和
那个 客体
fills
那个 自身连接物体
(=>
(
contains
?OBJ1 ?OBJ2)
(
exists
(?HOLE)
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))))
Merge.kif 1028-1033
如果
自身连接物体
contains
客体
,
然后 有存在
洞
这样
那个 洞
是
那个 自身连接物体
内的
hole
和
那个 客体
适当的
fills
那个 洞
(=>
(
instance
?Canyon
Canyon
)
(
exists
(?Hole)
(
hole
?Hole ?Canyon)))
Geography.kif 4263-4266
如果
自身连接物体
是
峡谷
的
instance
,
然后 有存在
洞
这样
那个 洞
是
那个 自身连接物体
内的
hole
(=>
(
instance
?HOLE
HoleRegion
)
(
exists
(?OBJ)
(
hole
?HOLE ?OBJ)))
Merge.kif 9902-9905
如果
洞
是
洞
的
instance
,
然后 有存在
自身连接物体
这样
那个 洞
是
那个 自身连接物体
内的
hole
(=>
(
instance
?PC
PorousContainer
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
HoleRegion
)
(
hole
?HOLE ?PC))))
Mid-level-ontology.kif 4512-4517
如果
自身连接物体
是
有孔容器
的
instance
,
然后 有存在
洞
这样
那个 洞
是
洞
的
instance
和
那个 洞
是
那个 自身连接物体
内的
hole
(=>
(
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
如果
过程
是
内燃机
的
operating
的
instance
,
然后 有存在
自身连接物体
,
洞
, and 和
客体
这样
那个 自身连接物体
是
内燃机
的
instance
和
那个 自身连接物体
是导致
那个 过程
的
instrument
和
那个 洞
是
那个 自身连接物体
内的
hole
和
那个 客体
是
燃烧
的
instance
和
那个 客体
完全
fills
那个 洞
(=>
(
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
如果
自身连接物体
是
檀香
的
instance
,
然后 有存在
洞
和
另一个 洞
这样
那个 洞
是
洞
的
instance
和
那个 洞
是
那个 自身连接物体
内的
hole
和
那个 另外 洞
是
洞
的
instance
和
那个 另外 洞
是
那个 自身连接物体
内的
hole
和
那个 洞
不
equal
那个 另外 洞
和
那个 洞
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
调味料
的
instance
和
那个 另外 实体
是
足
的
instance
和
那个 第三 实体
是
那个 实体
的
agent
和
那个 另外 实体
是
那个 第三 实体
的
part
和
那个 第四 实体
%n是
那个 实体
的
subProcess
和
那个 第四 实体
是
插入
的
instance
和
那个 另外 实体
是
那个 第四 实体
的
patient
和
那个 第四 实体
在
那个 洞
结束
(=>
(
instance
?Slot
ATMSlot
)
(
exists
(?ATM)
(
and
(
instance
?ATM
ATMMachine
)
(
hole
?Slot ?ATM))))
FinancialOntology.kif 3662-3667
如果
洞
是
ATM插槽
的
instance
,
然后 有存在
自身连接物体
这样
那个 自身连接物体
是
自动提款机
的
instance
和
那个 洞
是
那个 自身连接物体
内的
hole
(=>
(
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
如果
物理
是
FuelCapLock
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
GasTank
的
instance
和
那个 另外 实体
是
那个 实体
内的
hole
和
那个 物理
和
那个 另外 实体
是
connected
和
锁定
是
那个 物理
的
attribute
在
那个 第三 实体
holdsDuring
减少 有存在
第四 实体
和
第五 实体
这样
那个 第四 实体
是
偷窃行为
的
instance
和
那个 第五 实体
是
汽油
的
instance
和
那个 第五 实体
是
located
在
那个 实体
和
那个 第五 实体
是
那个 第四 实体
的
patient
在
那个 第三 实体
holdsDuring
发生的机率
(=>
(
instance
?cave
Cave
)
(
exists
(?land)
(
and
(
instance
?land
CaveMatrix
)
(
hole
?cave ?land))))
Geography.kif 6053-6058
如果
洞
是
洞穴
的
instance
,
然后 有存在
自身连接物体
这样
那个 自身连接物体
是
洞穴矩阵
的
instance
和
那个 洞
是
那个 自身连接物体
内的
hole
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