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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Inserting
Inserting

VerbNet: funnel-9.3|wedge, spray-9.7|stuff, spray-9.7|stuff, spray-9.7|stuff, spray-9.7|stuff, funnel-9.3|wedge,


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


(documentation Inserting ChineseLanguage "这是把一样东西 Putting 放进另外一样东西里。") Merge.kif 15563-15563
(documentation Inserting EnglishLanguage "Putting one thing inside of another thing.") Merge.kif 15560-15560
(documentation Inserting JapaneseLanguage "別のものの中に一つの物をPutting。") Merge.kif 15565-15565
(subclass Inserting Putting) Merge.kif 15558-15558

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


(subclass Injecting Inserting) Merge.kif 15577-15577
(subclass LoadingWeapon Inserting) Mid-level-ontology.kif 1752-1752
(termFormat ChineseLanguage Inserting "插入") domainEnglishFormat.kif 30127-30127
(termFormat ChineseTraditionalLanguage Inserting "插入") domainEnglishFormat.kif 30126-30126
(termFormat EnglishLanguage Inserting "inserting") domainEnglishFormat.kif 30125-30125

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

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


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