|
|
   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 11261-11261 | |
| (subclass Inserting Putting) | Merge.kif 11259-11259 |
| appearance as argument number 2 |
|
|
| (subclass Injecting Inserting) | Merge.kif 11272-11272 | |
| (subclass LoadingWeapon Inserting) | Mid-level-ontology.kif 1329-1329 | |
| (termFormat ChineseLanguage Inserting "插入") | domainEnglishFormat.kif 30210-30210 | |
| (termFormat ChineseTraditionalLanguage Inserting "插入") | domainEnglishFormat.kif 30209-30209 | |
| (termFormat EnglishLanguage Inserting "inserting") | domainEnglishFormat.kif 30208-30208 |
| 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 11263-11270 |
| consequent |
|
|
| (=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 Hole) (hole ?H1 ?S) (instance ?H2 Hole) (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 4938-4958 | |
| (=> (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 9187-9198 |
|
|
|