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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 11422-11422
(documentation Inserting JapaneseLanguage "別のものの中に一つの物をPutting。") japanese_format.kif 1807-1807
(subclass Inserting Putting) Merge.kif 11420-11420 Inserting est une sous-classe de mettre

appearance as argument number 2

(subclass Catheterization Inserting) Medicine.kif 566-566 Catheterization est une sous-classe de Inserting
(subclass Injecting Inserting) Merge.kif 11433-11433 Injecting est une sous-classe de Inserting
(subclass Intubation Inserting) Medicine.kif 4119-4119 Intubation est une sous-classe de Inserting
(subclass LoadingWeapon Inserting) Mid-level-ontology.kif 1368-1368 LoadingWeapon est une sous-classe de Inserting
(termFormat ChineseLanguage Inserting "插入") domainEnglishFormat.kif 30223-30223
(termFormat ChineseTraditionalLanguage Inserting "插入") domainEnglishFormat.kif 30222-30222
(termFormat EnglishLanguage Inserting "inserting") domainEnglishFormat.kif 30221-30221


        (instance ?INSERT Inserting)
        (patient ?INSERT ?OBJ1)
        (destination ?INSERT ?OBJ2))
                (WhenFn ?INSERT))
                (contains ?OBJ2 ?OBJ1)))
                (WhenFn ?INSERT))
            (contains ?OBJ2 ?OBJ1))))
Merge.kif 11424-11431


        (instance ?T Thoracentesis)
        (patient ?T ?H))
    (exists (?I ?O ?IN ?L ?C ?F)
            (instance ?I Inserting)
            (subProcess ?I ?T)
            (objectTransferred ?I ?N)
            (origin ?I ?O)
            (destination ?I ?IN)
            (instance ?N Needle)
            (attribute ?F Fluid)
            (objectTransferred ?T ?F)
            (destination ?F ?O)
            (instance ?L Lung)
            (instance ?C Chest)
            (part ?L ?H)
            (part ?C ?H)
            (origin ?T ?IN)
            (destination ?T ?O)
            (between ?L ?IN ?C)
            (orientation ?O ?H Outside))))
Medicine.kif 895-917
    (instance ?N Needle)
    (hasPurpose ?N
        (exists (?H ?TP ?F ?RI)
                (instance ?H Animal)
                (instance ?TP TherapeuticProcss)
                (attribute ?F Fluid)
                (patient ?TP ?H)
                (instrument ?TP ?N)
                    (instance ?RI Removing)
                    (instance ?RI Inserting))
                (subProcess ?RI ?TP)
                (objectTransferred ?RI ?F)))))
Medicine.kif 924-938
    (instance ?S Sandal)
    (exists (?H1 ?H2)
            (instance ?H1 HoleRegion)
            (hole ?H1 ?S)
            (instance ?H2 HoleRegion)
            (hole ?H2 ?S)
                (equal ?H1 ?H2))
            (hasPurpose ?H1
                (exists (?D ?F ?A ?I)
                        (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 5212-5232
    (instance ?SPINE PlantSpinoseStructure)
        (exists (?I ?P ?A)
                (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 9587-9598

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