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
partiallyFills
Sigma KEE - partiallyFills
partiallyFills
appearance as argument number 1
(
documentation
partiallyFills
ChineseLanguage
"(
partiallyFills
?OBJ ?HOLE)的意思是?OBJ
completelyFills
?HOLE 的某些部分。注:如果(
partiallyFills
?OBJ1 ?HOLE)和 (
part
?OBJ1 ?OBJ2)的话, 那么(
partiallyFills
?OBJ2 ?HOLE)就属实。另外也要注意的是,一个把洞部分 填满的物体不需要完全在洞内(它可以突出洞的外面),即是所有能够把洞完全填满的物质也可符合作为(在有限的情况下) 一个把洞部分填满的物质。")
chinese_format.kif 2869-2873
(
documentation
partiallyFills
EnglishLanguage
"(
partiallyFills
?OBJ ?HOLE) means that ?OBJ
completelyFills
some part of ?HOLE. Note that if (
partiallyFills
?OBJ1 ?HOLE) and (
part
?OBJ1 ?OBJ2), then (
partiallyFills
?OBJ2 ?HOLE). Note too that a partial filler need not be wholly inside a hole (it may stick out), which means that every complete filler also qualifies as (is a limit case of) a partial one.")
Merge.kif 10016-10021
(
documentation
partiallyFills
JapaneseLanguage
"(
partiallyFills
?OBJ ?HOLE) は、?OBJ が ?HOLE の一部を
completelyFills
ことを意味する。注1:(
partiallyFills
?OBJ1 ?HOLE) およ び (
part
?OBJ1 ?OBJ2) の場合、(
partiallyFills
?OBJ2 ?HOLE) である。 注2:部分的なフィラー が完全にホールの中にある必要はない。(突き出る可能性有)。これはすべての完全なフィラーも部分的なもの と見なされることを意味する(リミットケース)。")
japanese_format.kif 1616-1620
(
domain
partiallyFills
1
Object
)
Merge.kif 10013-10013
域
部分填補
, 1 and
Object
(
domain
partiallyFills
2
HoleRegion
)
Merge.kif 10014-10014
域
部分填補
, 2 and
HoleRegion
(
instance
partiallyFills
AsymmetricRelation
)
Merge.kif 10012-10012
例
部分填補
and
AsymmetricRelation
(
instance
partiallyFills
SpatialRelation
)
Merge.kif 10011-10011
例
部分填補
and
SpatialRelation
(
subrelation
partiallyFills
located
)
Merge.kif 10010-10010
子關係
部分填補
and
位於
appearance as argument number 2
(
format
ChineseLanguage
partiallyFills
"%1 %n{doesn't}
fills
了 %2 的一部分")
chinese_format.kif 383-383
(
format
EnglishLanguage
partiallyFills
"%1 %n{doesn't}
part
ially fill%p{s} %2")
english_format.kif 389-389
(
format
FrenchLanguage
partiallyFills
"%1 %n{ne} remplie %n{pas}
part
iellemnet %2")
french_format.kif 220-220
(
format
ItalianLanguage
partiallyFills
"%1 %n{non} riempie parzialmente%p{s} %2")
relations-it.txt 211-211
(
format
JapaneseLanguage
partiallyFills
"%1 は %2 を
part
ially fill%p{s} %n{ない}")
japanese_format.kif 2026-2026
(
format
PortugueseLanguage
partiallyFills
"%1 %n{nao} completa %n
part
ialmente %2")
portuguese_format.kif 172-172
(
format
cz
partiallyFills
"%1 ��ste�n� %n{ne} zapl�uje %2")
relations-cz.txt 227-227
(
format
de
partiallyFills
"%1 fuellt %2 %n{nicht} teilweise")
relations-de.txt 513-513
(
format
hi
partiallyFills
"%1 %2 ko anshatah %n{nahiin} bharataa hai")
relations-hindi.txt 249-249
(
format
ro
partiallyFills
"%1 %n{nu} fill%t{umple}
part
ially%t{parþial} %2")
relations-ro.kif 240-240
(
format
sv
partiallyFills
"%1 fyller %n{inte}
de
lvis %2")
relations-sv.txt 237-237
(
format
tg
partiallyFills
"%1 %n ay nagtatambak ng meyo sa %2")
relations-tg.txt 403-403
(
subrelation
completelyFills
partiallyFills
)
Merge.kif 10038-10038
子關係
完全填滿
and
部分填補
(
subrelation
properlyFills
partiallyFills
)
Merge.kif 1001-1001
子關係
適當填充
and
部分填補
(
termFormat
ChineseLanguage
partiallyFills
"部分填入")
chinese_format.kif 384-384
(
termFormat
ChineseLanguage
partiallyFills
"部分填补")
domainEnglishFormat.kif 44534-44534
(
termFormat
ChineseTraditionalLanguage
partiallyFills
"部分填補")
domainEnglishFormat.kif 44533-44533
(
termFormat
EnglishLanguage
partiallyFills
"partially fills")
domainEnglishFormat.kif 44532-44532
antecedent
(=>
(
partiallyFills
?OBJ ?HOLE1)
(
exists
(?HOLE2)
(
and
(
part
?HOLE2 ?HOLE1)
(
completelyFills
?OBJ ?HOLE2))))
Merge.kif 10023-10028
部分填補
Object
and
HoleRegion
HoleRegion
部分
HoleRegion
and
HoleRegion
完全填滿
Object
and
HoleRegion
consequent
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
例
Object
and
EngineCylinder
例
HoleRegion
and
Crankcase
例
Physical
and
Piston
例
Process
and
TwoStrokeTransfer
持有期間
Process
and
位於
Physical
and
Object
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
有目的
Physical
and
持有期間
Process
and
部分填補
Physical
and
HoleRegion
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
例
Physical
and
Piston
例
Process
and
TwoStrokeIntake
持有期間
Process
and
位於
Physical
and
Object
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
有目的
Physical
and
持有期間
Process
and
部分填補
Physical
and
HoleRegion
(=>
(
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
(=>
(
instance
?B
BowlingBall
)
(
exists
(?HOLES)
(
and
(
instance
?HOLES
Collection
)
(
memberType
?HOLES
HoleRegion
)
(
memberCount
?HOLES 3)
(
located
?HOLES ?B)
(
hasPurpose
?HOLES
(
exists
(?FINGER ?HOLE)
(
and
(
member
?HOLE ?HOLES)
(
instance
?FINGER
Finger
)
(
partiallyFills
?FINGER ?HOLE)))))))
Sports.kif 1126-1139
例
Object
and
BowlingBall
Collection
例
Collection
and
Collection
HoleRegion
是
Collection
的
member
類別 3 是
Collection
的
member
計數
位於
Collection
and
Object
有目的
Collection
and
entity
entity
會員
entity
and
Collection
例
entity
and
手指
部分填補
entity
and
entity
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