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
Die Zahl 1 Argument von
partiallyFills
ist ein
fall
von
Object
%n{nicht}
(
domain
partiallyFills
2
HoleRegion
)
Merge.kif 9978-9978
Die Zahl 2 Argument von
partiallyFills
ist ein
fall
von
HoleRegion
%n{nicht}
(
instance
partiallyFills
AsymmetricRelation
)
Merge.kif 9976-9976
partiallyFills
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
partiallyFills
SpatialRelation
)
Merge.kif 9975-9975
partiallyFills
ist ein
fall
von
SpatialRelation
%n{nicht}
(
subrelation
partiallyFills
located
)
Merge.kif 9974-9974
partiallyFills
ist eine
teilrelation
von
befindetSich
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
completelyFills
ist eine
teilrelation
von
partiallyFills
(
subrelation
properlyFills
partiallyFills
)
Merge.kif 1001-1001
properlyFills
ist eine
teilrelation
von
partiallyFills
(
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
Wenn
Object
fuellt
HoleRegion
teilweise,
dann es gibt
** HoleRegion
um
** ** HoleRegion
ist ein
teil
von
** HoleRegion
%n{nicht} und
** Object
fuellt
** ** HoleRegion
vollstaendig
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
Wenn
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
Crankcase
%n{nicht} und
Physical
ist ein
fall
von
Piston
%n{nicht} und
Process
ist ein
fall
von
TwoStrokeTransfer
%n{nicht} und
** Physical
befindet
sich an %n{nicht} haelt
waehrend
** Process
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
** Physical
hat Zweck von
** Physical
fuellt
** HoleRegion
teilweise haelt
waehrend
** Process
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
EngineCylinder
%n{nicht} und
HoleRegion
ist ein
fall
von
InternalCombustionChamber
%n{nicht} und
Physical
ist ein
fall
von
Piston
%n{nicht} und
Process
ist ein
fall
von
TwoStrokeIntake
%n{nicht} und
** Physical
befindet
sich an %n{nicht} haelt
waehrend
** Process
%n{nicht} und
** Object
ist gleich
HoleHostFn
** HoleRegion
%n{nicht} und
eventLocated
** Process
and
** Object
,
dann
** Physical
hat Zweck von
** Physical
fuellt
** HoleRegion
teilweise haelt
waehrend
** Process
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Whiskey
%n{nicht} und
TimeInterval
ist ein
fall
von
Distilling
%n{nicht} und
** Object
ist ein
resultat
von
** TimeInterval
%n{nicht} und
** Object
ist ein
hilfmittel
fuer
** TimeInterval
R %n{nicht} und
** TimeInterval
R ist ein
fall
von
Drinking
%n{nicht},
dann es gibt
SelfConnectedObject
,
** TimeInterval
, and und
HoleRegion
um
** SelfConnectedObject
ist ein
fall
von
Cask
%n{nicht} und
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht} und
** Object
fuellt
** SelfConnectedObject
teilweise haelt
waehrend
** ** TimeInterval
%n{nicht} und
** TimeInterval
geschieht frueh als
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
geschieht frueh als
** TimeInterval
R %n{nicht}
(=>
(
attribute
?C
ContainerEmpty
)
(
not
(
exists
(?H ?S)
(
and
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
partiallyFills
?S ?C)))))
Mid-level-ontology.kif 1628-1635
Wenn
ContainerEmpty
ist ein
attribut
von
SelfConnectedObject
%n{nicht},
dann es gibt nicht
HoleRegion
und
Object
um
** HoleRegion
ist ein
fall
von
HoleRegion
%n{nicht} und
** HoleRegion
ist ein
loch
in
** SelfConnectedObject
%n{nicht} und
** Object
fuellt
** SelfConnectedObject
teilweise
(=>
(
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
Wenn
Object
ist ein
fall
von
BowlingBall
%n{nicht},
dann es gibt
Collection
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
HoleRegion
und
memberCount
** Collection
and 3 und
** Collection
befindet
sich an %n{nicht} und
** Collection
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
Mitglied
von
** Collection
%n{nicht} und
** entity
ist ein
fall
von
Finger
%n{nicht} und
** entity
fuellt
** ** entity
teilweise %n{nicht}
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