| Reel(卷轴) | |
| appearance as argument number 1 |
|
|
| (documentation Reel EnglishLanguage "A Device for Keeping something Pliable and LongAndThin in place, typically in a coiled shape.") | Cars.kif 4254-4254 | |
| (subclass Reel Device) | Cars.kif 4253-4253 | 卷轴 是 设备 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Reel "卷轴") | domainEnglishFormat.kif 49096-49096 | |
| (termFormat ChineseTraditionalLanguage Reel "捲軸") | domainEnglishFormat.kif 49095-49095 | |
| (termFormat EnglishLanguage Reel "reel") | domainEnglishFormat.kif 49094-49094 |
| antecedent |
|
|
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?P) (and (part ?P ?H) (meetsSpatially ?P ?HR)))) |
Cars.kif 4272-4284 | |
| (=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K)))) |
Cars.kif 4286-4299 | |
| (=> (instance ?X Reel) (attribute ?X ConvexRoundShape)) |
Cars.kif 4256-4258 | |
| (=> (instance ?X Reel) (hasPurpose ?X (exists (?K ?H) (and (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?X) (patient ?K ?H))))) |
Cars.kif 4260-4270 |
|
|
|