TreeView Knowledge Base Browser

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 11444-11444
(documentation Inserting JapaneseLanguage "別のものの中に一つの物をPutting。")	japanese_format.kif 1807-1807
(subclass Inserting Putting)	Merge.kif 11442-11442	Inserting ist eine teilkategorie von Putting

appearance as argument number 2

(subclass Catheterization Inserting)	Medicine.kif 566-566	Catheterization ist eine teilkategorie von Inserting
(subclass Injecting Inserting)	Merge.kif 11455-11455	Injecting ist eine teilkategorie von Inserting
(subclass Intubation Inserting)	Medicine.kif 4119-4119	Intubation ist eine teilkategorie von Inserting
(subclass LoadingWeapon Inserting)	Mid-level-ontology.kif 1368-1368	LoadingWeapon ist eine teilkategorie von Inserting
(termFormat ChineseLanguage Inserting "插入")	domainEnglishFormat.kif 30223-30223
(termFormat ChineseTraditionalLanguage Inserting "插入")	domainEnglishFormat.kif 30222-30222
(termFormat EnglishLanguage Inserting "inserting")	domainEnglishFormat.kif 30221-30221

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 11446-11453

Wenn Process ist ein fall von Inserting %n{nicht} und Entity ist ein patient von ** Process %n{nicht} und ** Process endet an ** Entity %n{nicht},
dann contains ** ** Entity and ** Entity haelt waehrend der anfang von die zeit des Bestehens von ** Process %n{nicht} und contains ** ** Entity and ** Entity haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}

consequent

(=> (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 895-917	Wenn Transfer ist ein fall von Thoracentesis %n{nicht} und Object ist ein patient von Transfer %n{nicht}, dann es gibt Transfer, Object,, , TransferN,, , Object,, , Object, and und Object um Transfer ist ein fall von Inserting %n{nicht} und Transfer ist ein subProzess von Transfer und objectTransferred Transfer and Object und Transfer beginnet an Object %n{nicht} und Transfer endet an TransferN %n{nicht} und Object ist ein fall von Needle %n{nicht} und Fluid ist ein attribut von Object %n{nicht} und objectTransferred Transfer and Object und Object endet an Object %n{nicht} und Object ist ein fall von Lung %n{nicht} und Object ist ein fall von Chest %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von Object %n{nicht} und Transfer beginnet an TransferN %n{nicht} und Transfer endet an Object %n{nicht} und TransferN ist zwischen Object und Object %n{nicht} und Object ist Outside hinsichlich Object %n{nicht}
(=> (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 924-938	Wenn Physical ist ein fall von Needle %n{nicht}, dann Physical hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Animal %n{nicht} und entity ist ein fall von TherapeuticProcss %n{nicht} und Fluid ist ein attribut von entity %n{nicht} und entity ist ein patient von entity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein fall von Removing %n{nicht} oder entity ist ein fall von Inserting %n{nicht} und entity ist ein subProzess von entity und objectTransferred entity and ** entity %n{nicht}
(=> (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 5211-5231	Wenn SelfConnectedObject ist ein fall von Sandal %n{nicht}, dann es gibt HoleRegion und HoleRegion um HoleRegion ist ein fall von HoleRegion %n{nicht} und HoleRegion ist ein loch in SelfConnectedObject %n{nicht} und HoleRegion ist ein fall von HoleRegion %n{nicht} und HoleRegion ist ein loch in SelfConnectedObject %n{nicht} und HoleRegion ist gleich HoleRegion nicht und HoleRegion hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Dressing %n{nicht} und entity ist ein fall von Foot %n{nicht} und entity ist der agent von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein subProzess von entity und entity ist ein fall von Inserting %n{nicht} und entity ist ein patient von entity %n{nicht} und entity endet an HoleRegion %n{nicht} %n{nicht}
(=> (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 9586-9597	Wenn Entity ist ein fall von PlantSpinoseStructure %n{nicht}, dann die Aussage es gibt entity, entity, and und entity um entity ist ein fall von Inserting %n{nicht} und Entity ist ein instrument fuer entity %n{nicht} und entity ist ein fall von Animal %n{nicht} und entity ist ein patient von entity %n{nicht} und entity verursacht entity %n{nicht} und entity ist ein fall von Pain %n{nicht} und entity erfaehrt entity %n{nicht} hat die modale Kraft von Possibility

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

KB Term:			Term intersection

English Word: