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 | Catheterization は Inserting の subclass では |
(subclass Injecting Inserting) | Merge.kif 11583-11583 | Injecting は Inserting の subclass では |
(subclass Intubation Inserting) | Medicine.kif 4124-4124 | Intubation は Inserting の subclass では |
(subclass LoadingWeapon Inserting) | Mid-level-ontology.kif 1585-1585 | LoadingWeapon は Inserting の subclass では |
(termFormat ChineseLanguage Inserting "插入") | domainEnglishFormat.kif 30234-30234 | LoadingWeapon は Inserting の subclass では |
(termFormat ChineseTraditionalLanguage Inserting "插入") | domainEnglishFormat.kif 30233-30233 | LoadingWeapon は Inserting の subclass では |
(termFormat EnglishLanguage Inserting "inserting") | domainEnglishFormat.kif 30232-30232 | LoadingWeapon は Inserting の subclass では |
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 |
![]() |
![]() |
![]() |