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 10073-10078
(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 10070-10070 Le nombre 1 argument de partiallyFills est une instance de objet
(domain partiallyFills 2 HoleRegion) Merge.kif 10071-10071 Le nombre 2 argument de partiallyFills est une instance de trou
(instance partiallyFills AsymmetricRelation) Merge.kif 10069-10069 partiallyFills est une instance de relation asym�trique
(instance partiallyFills SpatialRelation) Merge.kif 10068-10068 partiallyFills est une instance de relation spatial
(subrelation partiallyFills located) Merge.kif 10067-10067 partiallyFills est une sous-relation de 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 10097-10097 completelyFills est une sous-relation de partiallyFills
(subrelation properlyFills partiallyFills) Merge.kif 994-994 properlyFills est une sous-relation de partiallyFills
(termFormat ChineseLanguage partiallyFills "部分填入") chinese_format.kif 384-384 properlyFills est une sous-relation de partiallyFills
(termFormat ChineseLanguage partiallyFills "部分填补") domainEnglishFormat.kif 44563-44563 properlyFills est une sous-relation de partiallyFills
(termFormat ChineseTraditionalLanguage partiallyFills "部分填補") domainEnglishFormat.kif 44562-44562 properlyFills est une sous-relation de partiallyFills
(termFormat EnglishLanguage partiallyFills "partially fills") domainEnglishFormat.kif 44561-44561 properlyFills est une sous-relation de partiallyFills
(termFormat de partiallyFills "fuelltTeilweise") terms-de.txt 160-160 properlyFills est une sous-relation de partiallyFills

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


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

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 ?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
(=>
    (attribute ?C ContainerEmpty)
    (not
        (exists (?H ?S)
            (and
                (instance ?H HoleRegion)
                (hole ?H ?C)
                (partiallyFills ?S ?C)))))		 Mid-level-ontology.kif 2097-2104
(=>
    (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 1139-1152


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