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
-------------------------


s__documentation(s__partiallyFills__m,s__ChineseLanguage,'"(partiallyFills ?OBJ ?HOLE)的意思是?OBJ completelyFills ?HOLE 的某些部分。注:如果(partiallyFills ?OBJ1 ?HOLE)和 (part ?OBJ1 ?OBJ2)的话, 那么(partiallyFills ?OBJ2 ?HOLE)就属实。另外也要注意的是,一个把洞部分 填满的物体不需要完全在洞内(它可以突出洞的外面),即是所有能够把洞完全填满的物质也可符合作为(在有限的情况下) 一个把洞部分填满的物质。"')

chinese_format.kif 2869-2873
s__documentation(s__partiallyFills__m,s__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 9586-9591
s__domain(s__partiallyFills__m,n__1,s__Object)

Merge.kif 9583-9583 The number 1 argument of partially fills is an instance of object
s__domain(s__partiallyFills__m,n__2,s__Hole)

Merge.kif 9584-9584 The number 2 argument of partially fills is an instance of hole
s__instance(s__partiallyFills__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__Class)

Merge.kif 9582-9582 partially fills is an instance of asymmetric relation
s__instance(s__SpatialRelation,s__Class)

s__instance(s__partiallyFills__m,s__SpatialRelation)

Merge.kif 9581-9581 partially fills is an instance of spatial relation
s__subrelation(s__partiallyFills__m,s__located__m)

Merge.kif 9580-9580 partially fills is a subrelation of located

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__partiallyFills__m,'"%1 %n{doesnt} fills 了 %2 的一部分"')

chinese_format.kif 383-383
s__format(s__EnglishLanguage,s__partiallyFills__m,'"%1 %n{doesnt} partially fill%p{s} %2"')

english_format.kif 389-389
s__subrelation(s__completelyFills__m,s__partiallyFills__m)

Merge.kif 9622-9622 completely fills is a subrelation of partially fills
s__subrelation(s__properlyFills__m,s__partiallyFills__m)

Merge.kif 9601-9601 properly fills is a subrelation of partially fills
s__termFormat(s__ChineseLanguage,s__partiallyFills__m,'"部分填入"')

chinese_format.kif 384-384
s__termFormat(s__ChineseLanguage,s__partiallyFills__m,'"部分填补"')

domainEnglishFormat.kif 44509-44509
s__termFormat(s__ChineseTraditionalLanguage,s__partiallyFills__m,'"部分填補"')

domainEnglishFormat.kif 44508-44508
s__termFormat(s__EnglishLanguage,s__partiallyFills__m,'"partially fills"')

domainEnglishFormat.kif 44507-44507

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


( ! [V__OBJ,V__HOLE1] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__HOLE1,s__Hole))
       =>
       ((s__partiallyFills(V__OBJ,V__HOLE1)
         =>
         (( ? [V__HOLE2] :
             ((s__instance(V__HOLE2,s__Object) &
                 (s__part(V__HOLE2,V__HOLE1)
                 &
                 s__completelyFills(V__OBJ,V__HOLE2)))))))))
)
)

Merge.kif 9593-9598

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 463-475
No TPTP formula. May not be expressible in strict first order. Food.kif 1030-1045
( ! [V__C] :
   (((s__instance(V__C,s__SelfConnectedObject) &
         s__instance(V__C,s__Hole))
       =>
       ((s__attribute(V__C,s__ContainerEmpty) =>
           (~(( ? [V__H, V__S] :
                 ((s__instance(V__S,s__Object) &
                     (s__instance(V__H,s__Hole) &
                       s__hole(V__H,V__C)
                     &
                     s__partiallyFills(V__S,V__C))))))))))
)
)

Mid-level-ontology.kif 1566-1573
No TPTP formula. May not be expressible in strict first order. Sports.kif 1053-1066


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