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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Inserting

Sigma KEE - Inserting
Inserting

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 11261-11261
(subclass Inserting Putting) Merge.kif 11259-11259

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


(subclass Injecting Inserting) Merge.kif 11272-11272
(subclass LoadingWeapon Inserting) Mid-level-ontology.kif 1329-1329
(termFormat ChineseLanguage Inserting "插入") domainEnglishFormat.kif 30210-30210
(termFormat ChineseTraditionalLanguage Inserting "插入") domainEnglishFormat.kif 30209-30209
(termFormat EnglishLanguage Inserting "inserting") domainEnglishFormat.kif 30208-30208

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 11263-11270

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 4938-4958
(=>
    (instance ?SPINE PlantSpinoseStructure)
    (modalAttribute
        (exists (?I ?P ?A)
            (and
                (instance ?I Inserting)
                (instrument ?I ?SPINE)
                (instance ?A Animal)
                (patient ?I ?A)
                (causes ?I ?P)
                (instance ?P Pain)
                (experiencer ?P ?A))) Possibility))
Mid-level-ontology.kif 9187-9198


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