| 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 10677-10677 | |
| (subclass Inserting Putting) | Merge.kif 10675-10675 | subclass Inserting and Putting |
| appearance as argument number 2 |
|
|
| (subclass Injecting Inserting) | Merge.kif 10688-10688 | subclass Injecting and Inserting |
| (subclass LoadingWeapon Inserting) | Mid-level-ontology.kif 1753-1753 | subclass LoadingWeapon and Inserting |
| (termFormat ChineseLanguage Inserting "插入") | domainEnglishFormat.kif 30217-30217 | |
| (termFormat ChineseTraditionalLanguage Inserting "插入") | domainEnglishFormat.kif 30216-30216 | |
| (termFormat EnglishLanguage Inserting "inserting") | domainEnglishFormat.kif 30215-30215 |
| 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 10679-10686 |
| 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 5498-5518 |
|
|
|
|