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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Alone

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)就属实。另外也要注意的是,一个把洞部分 填满的物体不需要完全在洞内(它可以突出洞的外面),即是所有能够把洞完全填满的物质也可符合作为(在有限的情况下) 一个把洞部分填满的物质。") Merge.kif 9952-9956
(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 9946-9951
(domain partiallyFills 1 Object) Merge.kif 9944-9944
(domain partiallyFills 2 Hole) Merge.kif 9945-9945
(instance partiallyFills AsymmetricRelation) Merge.kif 9943-9943
(instance partiallyFills SpatialRelation) Merge.kif 9942-9942
(subrelation partiallyFills located) Merge.kif 9941-9941

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 230-230
(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 PortugueseLanguage partiallyFills "%1 %n{nao} completa %n partialmente %2") portuguese_format.kif 172-172
(format ar partiallyFills "%1 %n{لا} جُزْئِيَّاً يَمْلَأ %2") arabic_format.kif 159-159
(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 tg partiallyFills "%1 %n ay nagtatambak ng meyo sa %2") relations-tg.txt 403-403
(subrelation completelyFills partiallyFills) Merge.kif 9994-9994
(subrelation properlyFills partiallyFills) Merge.kif 9966-9966
(termFormat ChineseLanguage partiallyFills "部分填入") chinese_format.kif 384-384
(termFormat EnglishLanguage partiallyFills "partially fills") domainEnglishFormat.kif 7842-7842
(termFormat ar partiallyFills "«جُزْئِيَّاً يَمْلَأ»") arabic_format.kif 609-609

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


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

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 1085-1100
(=>
    (attribute ?C ContainerEmpty)
    (not
        (exists (?H ?S)
            (and
                (instance ?H Hole)
                (hole ?H ?C)
                (partiallyFills ?S ?C)))))
Mid-level-ontology.kif 2037-2044
(=>
    (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 975-988


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners