| Inserting | |
| appearance as argument number 1 |
|
|
| (documentation Inserting ChineseLanguage "这是把一样东西 Putting 放进另外一样东西里。") | Merge.kif 11299-11299 | |
| (documentation Inserting EnglishLanguage "Putting one thing inside of another thing.") | Merge.kif 11298-11298 | |
| (subclass Inserting Putting) | Merge.kif 11297-11297 |
| appearance as argument number 2 |
|
|
| (subclass Injecting Inserting) | Merge.kif 11310-11310 | |
| (subclass LoadingWeapon Inserting) | Mid-level-ontology.kif 1752-1752 | |
| (termFormat EnglishLanguage Inserting "inserting") | domainEnglishFormat.kif 5454-5454 |
| 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 11301-11308 |
| consequent |
|
|
| (=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 Hole) (instance ?H2 Hole) (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 5495-5512 |
|
|
|