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 引数は
HoleRegion
の
instance
では %n
(
domain
hole
2
SelfConnectedObject
)
Merge.kif 995-995
hole
の数値 2 引数は
自己接続オブジェクト
の
instance
では %n
(
instance
hole
AsymmetricRelation
)
Merge.kif 993-993
hole
は
非対称関係
の
instance
では %n
(
instance
hole
BinaryPredicate
)
Merge.kif 991-991
hole
は
2進述語
の
instance
では %n
(
instance
hole
SpatialRelation
)
Merge.kif 992-992
hole
は
空間的関係
の
instance
では %n
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
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
と
自己接続オブジェクト
の部分の
intersection
の
proper
part
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
part
では %n
overlapsSpatially
HoleRegion
and
自己接続オブジェクト
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))
(
contains
?OBJ1 ?OBJ2))
Merge.kif 1035-1039
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
オブジェクト
は
HoleRegion
を
properly
fill
s %n{ない}
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9894-9901
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
HoleRegion
は
HoleRegion
と
HoleRegion
の
union
の
part
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
and
(
hole
?HOLE1 ?OBJ1)
(
hole
?HOLE2 ?OBJ2)
(
overlapsSpatially
?HOLE1 ?HOLE2))
(
overlapsSpatially
?OBJ1 ?OBJ2))
Merge.kif 9911-9916
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
overlapsSpatially
HoleRegion
and
HoleRegion
overlapsSpatially
自己接続オブジェクト
and
自己接続オブジェクト
(=>
(
and
(
instance
?land
CaveMatrix
)
(
instance
?cave
Cave
)
(
hole
?cave ?land))
(
equal
?land
(
HoleSkinFn
?cave)))
Geography.kif 6060-6065
自己接続オブジェクト
は
CaveMatrix
の
instance
では %n
HoleRegion
は
Cave
の
instance
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
自己接続オブジェクト
は ホール
HoleRegion
の
surface
と
equal
では %n
(=>
(
hole
?HOLE ?OBJ)
(
connected
?HOLE ?OBJ))
Merge.kif 9935-9937
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
自己接続オブジェクト
と
connected
して
(=>
(
hole
?HOLE ?OBJ)
(
instance
?HOLE
HoleRegion
))
Merge.kif 9871-9873
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
HoleRegion
の
instance
では %n
(=>
(
hole
?HOLE ?OBJ)
(
not
(
instance
?OBJ
HoleRegion
)))
Merge.kif 9875-9878
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
自己接続オブジェクト
は
HoleRegion
の
instance
では
(=>
(
hole
?HOLE ?OBJ)
(
not
(
overlapsSpatially
?HOLE ?OBJ)))
Merge.kif 9880-9883
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
overlapsSpatially
HoleRegion
and
自己接続オブジェクト
consequent
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
hole
?HOLE ?OBJ2))
(
exists
(?OBJ3)
(
and
(
properPart
?OBJ3
(
MereologicalProductFn
?OBJ1 ?OBJ2))
(
hole
?HOLE ?OBJ3))))
Merge.kif 9885-9892
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
自己接続オブジェクト
自己接続オブジェクト
は
自己接続オブジェクト
と
自己接続オブジェクト
の部分の
intersection
の
proper
part
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
and
(
hole
?HOLE ?OBJ1)
(
part
?OBJ1 ?OBJ2))
(
or
(
overlapsSpatially
?HOLE ?OBJ2)
(
hole
?HOLE ?OBJ2)))
Merge.kif 9903-9909
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
自己接続オブジェクト
は
自己接続オブジェクト
の
part
では %n
overlapsSpatially
HoleRegion
and
自己接続オブジェクト
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
and
(
hole
?HOLE1 ?OBJ)
(
hole
?HOLE2 ?OBJ))
(
forall
(?HOLE3)
(=>
(
part
?HOLE3
(
MereologicalSumFn
?HOLE1 ?HOLE2))
(
hole
?HOLE3 ?OBJ))))
Merge.kif 9894-9901
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
HoleRegion
は
HoleRegion
と
HoleRegion
の
union
の
part
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
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
工程
は
Drilling
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
は
エンティティー
の
hole
では は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
の
hole
では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
オブジェクト
は
Whiskey
の
instance
では %n
時間間隔
は
Distilling
の
instance
では %n
オブジェクト
は
時間間隔
の
result
では %n
オブジェクト
は
時間間隔
R の
resource
では %n
時間間隔
R は
飲酒
の
instance
では %n
自己接続オブジェクト
時間間隔
and
HoleRegion
自己接続オブジェクト
は
Cask
の
instance
では %n
HoleRegion
は
HoleRegion
の
instance
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
オブジェクト
は
自己接続オブジェクト
を
partially
fill
s %n{ない} は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
時間間隔
は
時間間隔
R より
earlier
happens %n{ない}
(=>
(
attribute
?C
ContainerEmpty
)
(
not
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
partiallyFills
?S ?C)))))
Mid-level-ontology.kif 1628-1635
ContainerEmpty
は
自己接続オブジェクト
の
attribute
では %n
HoleRegion
オブジェクト
HoleRegion
は
HoleRegion
の
instance
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
オブジェクト
は
自己接続オブジェクト
を
partially
fill
s %n{ない}
(=>
(
attribute
?C
ContainerFull
)
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
fills
?S ?C))))
Mid-level-ontology.kif 1646-1652
ContainerFull
は
自己接続オブジェクト
の
attribute
では %n
HoleRegion
オブジェクト
HoleRegion
は
HoleRegion
の
instance
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
オブジェクト
は
自己接続オブジェクト
を
fill
s %n{ない}
(=>
(
contains
?OBJ1 ?OBJ2)
(
exists
(?HOLE)
(
and
(
hole
?HOLE ?OBJ1)
(
properlyFills
?OBJ2 ?HOLE))))
Merge.kif 1028-1033
自己接続オブジェクト
は
オブジェクト
を
contain
s %n{ない}
HoleRegion
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
オブジェクト
は
HoleRegion
を
properly
fill
s %n{ない}
(=>
(
instance
?Canyon
Canyon
)
(
exists
(?Hole)
(
hole
?Hole ?Canyon)))
Geography.kif 4263-4266
自己接続オブジェクト
は
Canyon
の
instance
では %n
HoleRegion
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
instance
?HOLE
HoleRegion
)
(
exists
(?OBJ)
(
hole
?HOLE ?OBJ)))
Merge.kif 9866-9869
HoleRegion
は
HoleRegion
の
instance
では %n
自己接続オブジェクト
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
instance
?PC
PorousContainer
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
HoleRegion
)
(
hole
?HOLE ?PC))))
Mid-level-ontology.kif 4517-4522
自己接続オブジェクト
は
PorousContainer
の
instance
では %n
HoleRegion
HoleRegion
は
HoleRegion
の
instance
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
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
工程
は
OperatingFn
InternalCombustionEngine
の
instance
では %n
自己接続オブジェクト
HoleRegion
and
オブジェクト
自己接続オブジェクト
は
InternalCombustionEngine
の
instance
では %n
自己接続オブジェクト
は
工程
の
instrument
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
オブジェクト
は
燃焼
の
instance
では %n
オブジェクト
は
HoleRegion
を
completely
fill
s %n{ない}
(=>
(
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
自己接続オブジェクト
は
Sandal
の
instance
では %n
HoleRegion
HoleRegion
HoleRegion
は
HoleRegion
の
instance
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
HoleRegion
の
instance
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
HoleRegion
は
HoleRegion
と
equal
では
HoleRegion
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Dressing
の
instance
では %n
エンティティー
は
Foot
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
part
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
エンティティー
は
Inserting
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
HoleRegion
に
end
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?Slot
ATMSlot
)
(
exists
(?ATM)
(
and
(
instance
?ATM
ATMMachine
)
(
hole
?Slot ?ATM))))
FinancialOntology.kif 3662-3667
HoleRegion
は
ATMSlot
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
は
ATMMachine
の
instance
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
(=>
(
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
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
GasTank
の
instance
では %n
エンティティー
は
エンティティー
の
hole
では %n
物理
は
エンティティー
と
connected
して
Locked
は
物理
の
attribute
では %n は
エンティティー
の
during
holds %n{ない} は
エンティティー
エンティティー
エンティティー
は
Stealing
の
instance
では %n
エンティティー
は
Fuel
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
エンティティー
の
patient
では %n は
エンティティー
の
during
holds %n{ない} を
decrease
s 可能性がある の 目的 %n{ない}
(=>
(
instance
?cave
Cave
)
(
exists
(?land)
(
and
(
instance
?land
CaveMatrix
)
(
hole
?cave ?land))))
Geography.kif 6053-6058
HoleRegion
は
Cave
の
instance
では %n
自己接続オブジェクト
自己接続オブジェクト
は
CaveMatrix
の
instance
では %n
HoleRegion
は
自己接続オブジェクト
の
hole
では %n
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