Inserting - Sigma 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	子類插入 and Putting

appearance as argument number 2

(subclass Catheterization Inserting)	Medicine.kif 566-566	子類 Catheterization and 插入
(subclass Injecting Inserting)	Merge.kif 11455-11455	子類注射 and 插入
(subclass Intubation Inserting)	Medicine.kif 4119-4119	子類 Intubation and 插入
(subclass LoadingWeapon Inserting)	Mid-level-ontology.kif 1368-1368	子類裝載武器 and 插入
(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

例 Process and 插入患者 Process and Entity 目的地 Process and Entity
持有期間開始何時 Process and 包含 Entity and Entity 持有期間結束何時 Process and 包含 Entity and Entity

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	例 Transfer and Thoracentesis 患者 Transfer and Object Transfer Object, TransferN, Object, Object and Object 例 Transfer and 插入子過程 Transfer and Transfer objectTransferred Transfer and Object 起源 Transfer and Object 目的地 Transfer and TransferN 例 Object and Needle attribute Object and 流體 objectTransferred Transfer and Object 目的地 Object and Object 例 Object and 肺例 Object and Chest 部分 Object and Object 部分 Object and Object 起源 Transfer and TransferN 目的地 Transfer and Object 之間 Object, TransferN and Object 方位 Object, Object and 外
(=> (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	例 Physical and Needle 有目的 Physical and entity entity, entity and entity 例 entity and Animal 例 entity and TherapeuticProcss attribute entity and 流體患者 entity and entity 儀器 entity and Physical 例 entity and Removing 例 entity and 插入子過程 entity and entity objectTransferred entity and entity
(=> (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	例 SelfConnectedObject and 檀香 HoleRegion HoleRegion 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 等於 HoleRegion and HoleRegion 有目的 HoleRegion and entity entity, entity and entity 例 entity and 調味料例 entity and 足 agent entity and entity 部分 entity and entity 子過程 entity and entity 例 entity and 插入患者 entity and entity 目的地 entity and HoleRegion
(=> (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	例 Entity and PlantSpinoseStructure 模態屬性 entity entity and entity 例 entity and 插入儀器 entity and Entity 例 entity and Animal 患者 entity and entity 原因 entity and entity 例 entity and 痛體驗者 entity and entity and 可能性

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

KB Term:			Term intersection

English Word: