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

Formal Language: 



KB Term:  Term intersection
English Word: 

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).") Merge.kif 10084-10088
(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 10080-10083
(domain fills 1 Object) Merge.kif 10077-10077
(domain fills 2 Hole) Merge.kif 10078-10078
(instance fills AsymmetricRelation) Merge.kif 10074-10074
(relatedInternalConcept fills Fillable) Merge.kif 10079-10079
(subrelation fills completelyFills) Merge.kif 10075-10075
(subrelation fills properlyFills) Merge.kif 10076-10076

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 228-228
(termFormat ChineseLanguage fills "刚好填入") chinese_format.kif 380-380
(termFormat EnglishLanguage fills "fills") domainEnglishFormat.kif 4368-4368

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


(=>
    (and
        (fills ?OBJ ?HOLE1)
        (properPart ?HOLE2 ?HOLE1))
    (completelyFills ?OBJ ?HOLE2))
Merge.kif 10111-10115
(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (attribute ?OBJ2 Fillable))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 10091-10096
(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (properPart ?OBJ2 ?OBJ1))
    (properlyFills ?OBJ2 ?HOLE))
Merge.kif 10117-10121
(=>
    (exists (?TIME)
        (holdsDuring ?TIME
            (fills ?OBJ ?HOLE)))
    (attribute ?HOLE Fillable))
Merge.kif 9986-9990

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


(=>
    (attribute ?C ContainerFull)
    (exists (?H ?S)
        (and
            (instance ?H Hole)
            (hole ?H ?C)
            (fills ?S ?C))))
Mid-level-ontology.kif 2055-2061
(=>
    (completelyFills ?OBJ1 ?HOLE)
    (exists (?OBJ2)
        (and
            (part ?OBJ2 ?OBJ1)
            (fills ?OBJ2 ?HOLE))))
Merge.kif 10067-10072
(=>
    (properlyFills ?OBJ ?HOLE1)
    (exists (?HOLE2)
        (and
            (part ?HOLE2 ?HOLE1)
            (fills ?OBJ ?HOLE2))))
Merge.kif 10044-10049


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