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 9980-9985
(
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 9977-9977
The number 1 argument of
partially fills
is an
instance
of
object
(
domain
partiallyFills
2
HoleRegion
)
Merge.kif 9978-9978
The number 2 argument of
partially fills
is an
instance
of
hole
(
instance
partiallyFills
AsymmetricRelation
)
Merge.kif 9976-9976
partially fills
is an
instance
of
asymmetric relation
(
instance
partiallyFills
SpatialRelation
)
Merge.kif 9975-9975
partially fills
is an
instance
of
spatial relation
(
subrelation
partiallyFills
located
)
Merge.kif 9974-9974
partially fills
is a
subrelation
of
located
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 10002-10002
completely fills
is a
subrelation
of
partially fills
(
subrelation
properlyFills
partiallyFills
)
Merge.kif 1001-1001
properly fills
is a
subrelation
of
partially fills
(
termFormat
ChineseLanguage
partiallyFills
"部分填入")
chinese_format.kif 384-384
(
termFormat
ChineseLanguage
partiallyFills
"部分填补")
domainEnglishFormat.kif 44532-44532
(
termFormat
ChineseTraditionalLanguage
partiallyFills
"部分填補")
domainEnglishFormat.kif 44531-44531
(
termFormat
EnglishLanguage
partiallyFills
"partially fills")
domainEnglishFormat.kif 44530-44530
antecedent
(=>
(
partiallyFills
?OBJ ?HOLE1)
(
exists
(?HOLE2)
(
and
(
part
?HOLE2 ?HOLE1)
(
completelyFills
?OBJ ?HOLE2))))
Merge.kif 9987-9992
If
an object
partially
fill
s
a hole
,
then there exists
another hole
such that
the other hole
is a
part
of
the hole
and
the object
completely
fill
s
the other hole
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
If
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
crankcase
and
a physical
is an
instance
of
piston
and
a process
is an
instance
of
two stroke transfer
and
the physical
is
located
at
the object
holds
during
the process
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then
the physical
has the purpose
the physical
partially
fill
s
the hole
holds
during
the process
(=>
(
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
If
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
a physical
is an
instance
of
piston
and
a process
is an
instance
of
two stroke intake
and
the physical
is
located
at
the object
holds
during
the process
and
the object
is
equal
to the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then
the physical
has the purpose
the physical
partially
fill
s
the hole
holds
during
the process
(=>
(
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
If
an object
is an
instance
of
whiskey
and
a time interval
is an
instance
of
distilling
and
the object
is a
result
of
the time interval
and
the object
is a
resource
for
the time interval
R and
the time interval
R is an
instance
of
drinking
,
then there exist
a self connected object
,
a third time interval
and
a hole
such that
the self connected object
is an
instance
of
cask
and
the hole
is an
instance
of
hole
and
the hole
is a
hole
in
the self connected object
and
the object
partially
fill
s
the self connected object
holds
during
the third time interval
and
the time interval
happens
earlier
than
the third time interval
and
the third time interval
happens
earlier
than
the time interval
R
(=>
(
attribute
?C
ContainerEmpty
)
(
not
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
partiallyFills
?S ?C)))))
Mid-level-ontology.kif 1628-1635
If
container empty
is an
attribute
of
a self connected object
,
then there don't exist
a hole
and
an object
such that
the hole
is an
instance
of
hole
and
the hole
is a
hole
in
the self connected object
and
the object
partially
fill
s
the self connected object
(=>
(
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 1125-1138
If
an object
is an
instance
of
bowling ball
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and
hole
is a
member
type of
the collection
and 3 is a
member
count of
the collection
and
the collection
is
located
at
the object
and
the collection
has the purpose there exist
an entity
and
another entity
such that
the other entity
is a
member
of
the collection
and
the entity
is an
instance
of
finger
and
the entity
partially
fill
s
the other 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