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

Formal Language: 



KB Term:  Term intersection
English Word: 

  fills

Sigma KEE - fills
fills

appearance as argument number 1
-------------------------


(documentation fills ChineseLanguage " Holes can be filled. (fills ?OBJ ?HOLE) means that the Object ?OBJ fills the Hole ?HOLE. Note that fills here means perfectly filled. Perfect fillers and fillable entities have no parts in common (rather, they may occupy the same spatial region).") chinese_format.kif 2885-2889
(documentation fills EnglishLanguage "Holes can be filled. (fills ?OBJ ?HOLE) means that the Object ?OBJ fills the Hole ?HOLE. Note that fills here means perfectly filled. Perfect fillers and fillable entities have no parts in common (rather, they may occupy the same spatial region).") Merge.kif 9949-9952
(domain fills 1 Object) Merge.kif 9945-9945
(domain fills 2 Hole) Merge.kif 9946-9946
(instance fills AsymmetricRelation) Merge.kif 9942-9942
(relatedInternalConcept fills Fillable) Merge.kif 9947-9947
(subrelation fills completelyFills) Merge.kif 9943-9943
(subrelation fills properlyFills) Merge.kif 9944-9944

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


(format ChineseLanguage fills "%1 %n{doesn't} fills %2") chinese_format.kif 379-379
(format EnglishLanguage fills "%1 %n{doesn't} fill%p{s} %2") english_format.kif 385-385
(termFormat ChineseLanguage fills "刚好填入") chinese_format.kif 380-380
(termFormat ChineseLanguage fills "填充") domainEnglishFormat.kif 23673-23673
(termFormat ChineseTraditionalLanguage fills "填充") domainEnglishFormat.kif 23672-23672
(termFormat EnglishLanguage fills "fills") domainEnglishFormat.kif 23671-23671

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


(=>
    (and
        (fills ?OBJ ?HOLE1)
        (properPart ?HOLE2 ?HOLE1))
    (completelyFills ?OBJ ?HOLE2))
Merge.kif 9974-9978
(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (attribute ?OBJ2 Fillable))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 9954-9959
(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (properPart ?OBJ2 ?OBJ1))
    (properlyFills ?OBJ2 ?HOLE))
Merge.kif 9980-9984
(=>
    (exists (?TIME)
        (holdsDuring ?TIME
            (fills ?OBJ ?HOLE)))
    (attribute ?HOLE Fillable))
Merge.kif 9869-9873

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


(=>
    (attribute ?C ContainerFull)
    (exists (?H ?S)
        (and
            (instance ?H Hole)
            (hole ?H ?C)
            (fills ?S ?C))))
Mid-level-ontology.kif 1605-1611
(=>
    (completelyFills ?OBJ1 ?HOLE)
    (exists (?OBJ2)
        (and
            (part ?OBJ2 ?OBJ1)
            (fills ?OBJ2 ?HOLE))))
Merge.kif 9935-9940
(=>
    (properlyFills ?OBJ ?HOLE1)
    (exists (?HOLE2)
        (and
            (part ?HOLE2 ?HOLE1)
            (fills ?OBJ ?HOLE2))))
Merge.kif 9916-9921


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 3.0 is open source software produced by Articulate Software and its partners