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 9354-9359
(domain partiallyFills 1 Object)	Merge.kif 9351-9351	domain partiallyFills, 1 and Object
(domain partiallyFills 2 Hole)	Merge.kif 9352-9352	domain partiallyFills, 2 and Hole
(instance partiallyFills AsymmetricRelation)	Merge.kif 9350-9350	instance partiallyFills and AsymmetricRelation
(instance partiallyFills SpatialRelation)	Merge.kif 9349-9349	instance partiallyFills and SpatialRelation
(subrelation partiallyFills located)	Merge.kif 9348-9348	subrelation partiallyFills and 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 392-392
(subrelation completelyFills partiallyFills)	Merge.kif 9390-9390	subrelation completelyFills and partiallyFills
(subrelation properlyFills partiallyFills)	Merge.kif 9369-9369	subrelation properlyFills and partiallyFills
(termFormat ChineseLanguage partiallyFills "部分填入")	chinese_format.kif 384-384
(termFormat ChineseLanguage partiallyFills "部分填补")	domainEnglishFormat.kif 44425-44425
(termFormat ChineseTraditionalLanguage partiallyFills "部分填補")	domainEnglishFormat.kif 44424-44424
(termFormat EnglishLanguage partiallyFills "partially fills")	domainEnglishFormat.kif 44423-44423

antecedent

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

Merge.kif 9361-9366

partiallyFills Object and Hole
Object part Object and Hole completelyFills Object and Object

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	instance Object and EngineCylinder instance Hole and Crankcase instance Physical and Piston instance Process and TwoStrokeTransfer holdsDuring Process and located Physical and Object equal Object and HoleHostFn Hole eventLocated Process and Object hasPurpose Physical and holdsDuring Process and partiallyFills Physical and Hole
(=> (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	instance Object and EngineCylinder instance Hole and InternalCombustionChamber instance Physical and Piston instance Process and TwoStrokeIntake holdsDuring Process and located Physical and Object equal Object and HoleHostFn Hole eventLocated Process and Object hasPurpose Physical and holdsDuring Process and partiallyFills Physical and Hole
(=> (and (instance ?W Whiskey) (instance ?D Distilling) (result ?D ?W) (resource ?DR ?W) (instance ?DR Drinking)) (exists (?C ?T) (and (instance ?C Cask) (instance ?H Hole) (hole ?H ?C) (holdsDuring ?T (partiallyFills ?W ?C)) (earlier ?D ?T) (earlier ?T ?DR))))	Food.kif 1040-1055	instance Object and Whiskey instance TimeInterval and Distilling result TimeInterval and Object resource TimeIntervalR and Object instance TimeIntervalR and Drinking SelfConnectedObject TimeInterval instance SelfConnectedObject and Cask instance Hole and Hole hole Hole and SelfConnectedObject holdsDuring TimeInterval and partiallyFills Object and SelfConnectedObject earlier TimeInterval and TimeInterval earlier TimeInterval and TimeIntervalR
(=> (attribute ?C ContainerEmpty) (not (exists (?H ?S) (and (instance ?H Hole) (hole ?H ?C) (partiallyFills ?S ?C)))))	Mid-level-ontology.kif 2032-2039	attribute SelfConnectedObject and ContainerEmpty Hole Object instance Hole and Hole hole Hole and SelfConnectedObject partiallyFills Object and SelfConnectedObject
(=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES Hole) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER) (and (member ?FINGER ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 977-990	instance Object and BowlingBall Collection instance Collection and Collection memberType Collection and Hole memberCount Collection and 3 located Collection and Object hasPurpose Collection and entity member entity and Collection instance entity and Finger partiallyFills entity and 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: