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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Inserting
Inserting

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


(documentation Inserting ChineseLanguage "这是把一样东西 Putting 放进另外一样东西里。") Merge.kif 11299-11299
(documentation Inserting EnglishLanguage "Putting one thing inside of another thing.") Merge.kif 11298-11298
(subclass Inserting Putting) Merge.kif 11297-11297

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


(subclass Injecting Inserting) Merge.kif 11310-11310
(subclass LoadingWeapon Inserting) Mid-level-ontology.kif 1752-1752
(termFormat EnglishLanguage Inserting "inserting") domainEnglishFormat.kif 5454-5454

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


(=>
    (and
        (instance ?INSERT Inserting)
        (patient ?INSERT ?OBJ1)
        (destination ?INSERT ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?INSERT))
            (not
                (contains ?OBJ2 ?OBJ1)))
        (holdsDuring
            (EndFn
                (WhenFn ?INSERT))
            (contains ?OBJ2 ?OBJ1))))
Merge.kif 11301-11308

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


(=>
    (instance ?S Sandal)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 Hole)
            (instance ?H2 Hole)
            (not
                (equal ?H1 ?H2))
            (hasPurpose ?H1
                (exists (?D ?F ?A ?I)
                    (and
                        (instance ?D Dressing)
                        (instance ?F Foot)
                        (agent ?D ?A)
                        (part ?F ?A)
                        (subProcess ?I ?D)
                        (instance ?I Inserting)
                        (patient ?I ?F)
                        (destination ?I ?H1)))))))
Mid-level-ontology.kif 5495-5512


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