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 |
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 11424-11431 |
consequent |