Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9263-9268
(domain partiallyFills 1 Object) Merge.kif 9260-9260 domain partiallyFills, 1 and Object
(domain partiallyFills 2 Hole) Merge.kif 9261-9261 domain partiallyFills, 2 and Hole
(instance partiallyFills AsymmetricRelation) Merge.kif 9259-9259 instance partiallyFills and AsymmetricRelation
(instance partiallyFills SpatialRelation) Merge.kif 9258-9258 instance partiallyFills and SpatialRelation
(subrelation partiallyFills located) Merge.kif 9257-9257 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 9299-9299 subrelation completelyFills and partiallyFills
(subrelation properlyFills partiallyFills) Merge.kif 9278-9278 subrelation properlyFills and partiallyFills
(termFormat ChineseLanguage partiallyFills "部分填入") chinese_format.kif 384-384 termFormat ChineseLanguage, partiallyFills and "部分填入"
(termFormat ChineseLanguage partiallyFills "部分填补") domainEnglishFormat.kif 44455-44455 termFormat ChineseLanguage, partiallyFills and "部分填补"
(termFormat ChineseTraditionalLanguage partiallyFills "部分填補") domainEnglishFormat.kif 44454-44454 termFormat ChineseTraditionalLanguage, partiallyFills and "部分填補"
(termFormat EnglishLanguage partiallyFills "partially fills") domainEnglishFormat.kif 44453-44453 termFormat EnglishLanguage, partiallyFills and "partially fills"

antecedent
-------------------------


(=>
    (partiallyFills ?OBJ ?HOLE1)
    (exists (?HOLE2)
        (and
            (part ?HOLE2 ?HOLE1)
            (completelyFills ?OBJ ?HOLE2))))		 Merge.kif 9270-9275

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
(=>
    (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
(=>
    (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 1084-1099
(=>
    (attribute ?C ContainerEmpty)
    (not
        (exists (?H ?S)
            (and
                (instance ?H Hole)
                (hole ?H ?C)
                (partiallyFills ?S ?C)))))		 Mid-level-ontology.kif 2032-2039
(=>
    (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


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