| 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 4330-4330 | |
| (subclass Reel Device) | Cars.kif 4329-4329 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Reel "卷轴") | domainEnglishFormat.kif 49098-49098 | |
| (termFormat ChineseTraditionalLanguage Reel "捲軸") | domainEnglishFormat.kif 49097-49097 | |
| (termFormat EnglishLanguage Reel "reel") | domainEnglishFormat.kif 49096-49096 |
| 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 4348-4360 | |
| (=> (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 4362-4375 | |
| (=> (instance ?X Reel) (attribute ?X ConvexRoundShape)) |
Cars.kif 4332-4334 | |
| (=> (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 4336-4346 |
|
|
|