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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Inserting
Inserting(inserting)epidural_injection, force, injection, inoculate, shove, squeeze, stuff, thread, thrust, transform, vesiculate, wedge

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 放进另外一样东西里。") chinese_format.kif 3039-3039
(documentation Inserting EnglishLanguage "Putting one thing inside of another thing.") Merge.kif 10612-10612
(subclass Inserting Putting) Merge.kif 10610-10610 Inserting is a subclass of putting

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


(subclass Injecting Inserting) Merge.kif 10623-10623 Injecting is a subclass of inserting
(subclass LoadingWeapon Inserting) Mid-level-ontology.kif 1747-1747 Loading weapon is a subclass of inserting
(termFormat ChineseLanguage Inserting "插入") domainEnglishFormat.kif 30121-30121
(termFormat ChineseTraditionalLanguage Inserting "插入") domainEnglishFormat.kif 30120-30120
(termFormat EnglishLanguage Inserting "inserting") domainEnglishFormat.kif 30119-30119

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

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


(=>
    (instance ?S Sandal)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 Hole)
            (hole ?H1 ?S)
            (instance ?H2 Hole)
            (hole ?H2 ?S)
            (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 5492-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