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 放进另外一样东西里。") chinese_format.kif 3039-3039
(documentation Inserting EnglishLanguage "Putting one thing inside of another thing.") Merge.kif 11572-11572
(documentation Inserting JapaneseLanguage "別のものの中に一つの物をPutting。") japanese_format.kif 1807-1807
(subclass Inserting Putting) Merge.kif 11570-11570 Inserting置くsubclass では

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


(subclass Catheterization Inserting) Medicine.kif 556-556 CatheterizationInsertingsubclass では
(subclass Injecting Inserting) Merge.kif 11583-11583 InjectingInsertingsubclass では
(subclass Intubation Inserting) Medicine.kif 4124-4124 IntubationInsertingsubclass では
(subclass LoadingWeapon Inserting) Mid-level-ontology.kif 1585-1585 LoadingWeaponInsertingsubclass では
(termFormat ChineseLanguage Inserting "插入") domainEnglishFormat.kif 30234-30234 LoadingWeaponInsertingsubclass では
(termFormat ChineseTraditionalLanguage Inserting "插入") domainEnglishFormat.kif 30233-30233 LoadingWeaponInsertingsubclass では
(termFormat EnglishLanguage Inserting "inserting") domainEnglishFormat.kif 30232-30232 LoadingWeaponInsertingsubclass では

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 11574-11581

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


(=>
    (and
        (instance ?S Shooting)
        (instrument ?S ?G)
        (instance ?G Gun))
    (exists (?C ?I ?B)
        (and
            (instance ?C GunChamber)
            (part ?C ?G)
            (instance ?I Inserting)
            (instance ?B BulletCartridge)
            (destination ?I ?C)
            (objectTransferred ?I ?B)
            (before
                (EndFn
                    (WhenFn ?I))
                (BeginFn
                    (WhenFn ?S))))))
Mid-level-ontology.kif 1337-1352
(=>
    (and
        (instance ?T Thoracentesis)
        (patient ?T ?H))
    (exists (?I ?O ?IN ?L ?C ?F)
        (and
            (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 886-908
(=>
    (instance ?N Needle)
    (hasPurpose ?N
        (exists (?H ?TP ?F ?RI)
            (and
                (instance ?H Animal)
                (instance ?TP TherapeuticProcss)
                (attribute ?F Fluid)
                (patient ?TP ?H)
                (instrument ?TP ?N)
                (or
                    (instance ?RI Removing)
                    (instance ?RI Inserting))
                (subProcess ?RI ?TP)
                (objectTransferred ?RI ?F)))))
Medicine.kif 915-929
(=>
    (instance ?S Sandal)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 HoleRegion)
            (hole ?H1 ?S)
            (instance ?H2 HoleRegion)
            (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 6149-6169
(=>
    (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 10916-10927


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 3.0 is open source software produced by Articulate Software and its partners