VerbNet: funnel-9.3|wedge, spray-9.7|stuff, spray-9.7|stuff, spray-9.7|stuff, spray-9.7|stuff, funnel-9.3|wedge,
| Inserting | | VerbNet: funnel-9.3|wedge, spray-9.7|stuff, spray-9.7|stuff, spray-9.7|stuff, spray-9.7|stuff, funnel-9.3|wedge, |
| appearance as argument number 1 |
|
|
| (documentation Inserting ChineseLanguage "这是把一样东西 Putting 放进另外一样东西里。") | Merge.kif 15563-15563 | |
| (documentation Inserting EnglishLanguage "Putting one thing inside of another thing.") | Merge.kif 15560-15560 | |
| (documentation Inserting JapaneseLanguage "別のものの中に一つの物をPutting。") | Merge.kif 15565-15565 | |
| (subclass Inserting Putting) | Merge.kif 15558-15558 |
| appearance as argument number 2 |
|
|
| (subclass Injecting Inserting) | Merge.kif 15577-15577 | |
| (subclass LoadingWeapon Inserting) | Mid-level-ontology.kif 1752-1752 | |
| (termFormat ChineseLanguage Inserting "插入") | domainEnglishFormat.kif 30127-30127 | |
| (termFormat ChineseTraditionalLanguage Inserting "插入") | domainEnglishFormat.kif 30126-30126 | |
| (termFormat EnglishLanguage Inserting "inserting") | domainEnglishFormat.kif 30125-30125 |
| 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 15568-15575 |
| 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 5496-5513 |
|
|
|