| 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 4243-4243 | |
| (subclass Reel Device) | Cars.kif 4242-4242 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Reel "卷轴") | domainEnglishFormat.kif 49013-49013 | |
| (termFormat ChineseTraditionalLanguage Reel "捲軸") | domainEnglishFormat.kif 49012-49012 | |
| (termFormat EnglishLanguage Reel "reel") | domainEnglishFormat.kif 49011-49011 |
| 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 4261-4273 | |
| (=> (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 4275-4288 | |
| (=> (instance ?X Reel) (attribute ?X RoundShape)) |
Cars.kif 4245-4247 | |
| (=> (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 4249-4259 |
|
|
|