partiallyFills - Sigma Knowledge base Browser

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 ことを意味する。注１：(partiallyFills ?OBJ1 ?HOLE) および (part ?OBJ1 ?OBJ2) の場合、(partiallyFills ?OBJ2 ?HOLE) である。注２：部分的なフィラーが完全にホールの中にある必要はない。(突き出る可能性有)。これはすべての完全なフィラーも部分的なものと見なされることを意味する(リミットケース)。")	japanese_format.kif 1616-1620
(domain partiallyFills 1 Object)	Merge.kif 10013-10013	The number 1 argument of partially fills is an instance of object
(domain partiallyFills 2 HoleRegion)	Merge.kif 10014-10014	The number 2 argument of partially fills is an instance of hole
(instance partiallyFills AsymmetricRelation)	Merge.kif 10012-10012	partially fills is an instance of asymmetric relation
(instance partiallyFills SpatialRelation)	Merge.kif 10011-10011	partially fills is an instance of spatial relation
(subrelation partiallyFills located)	Merge.kif 10010-10010	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} partially fill%p{s} %2")	english_format.kif 389-389
(format FrenchLanguage partiallyFills "%1 %n{ne} remplie %n{pas} partiellemnet %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 を partially fill%p{s} %n{ない}")	japanese_format.kif 2026-2026
(format PortugueseLanguage partiallyFills "%1 %n{nao} completa %n partialmente %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} partially%t{parþial} %2")	relations-ro.kif 240-240
(format sv partiallyFills "%1 fyller %n{inte} delvis %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	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	properly fills is a subrelation of partially fills
(termFormat ChineseLanguage partiallyFills "部分填补")	domainEnglishFormat.kif 44570-44570	properly fills is a subrelation of partially fills
(termFormat ChineseTraditionalLanguage partiallyFills "部分填補")	domainEnglishFormat.kif 44569-44569	properly fills is a subrelation of partially fills
(termFormat EnglishLanguage partiallyFills "partially fills")	domainEnglishFormat.kif 44568-44568	properly fills is a subrelation of partially fills

antecedent

(=>
    (partiallyFills ?OBJ ?HOLE1)
    (exists (?HOLE2)
        (and
            (part ?HOLE2 ?HOLE1)
            (completelyFills ?OBJ ?HOLE2))))

Merge.kif 10023-10028

If an object partially fills a hole,
then there exists another hole such that the other hole is a part of the hole and the object completely fills 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 fills 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 fills 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 intervalR and the time intervalR 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 fills 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 intervalR
(=> (attribute ?C ContainerEmpty) (not (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (partiallyFills ?S ?C)))))	Mid-level-ontology.kif 1621-1628	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 fills 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 1126-1139	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 fills the other entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: