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 4269-4269 | |
(subclass Reel Device) | Cars.kif 4268-4268 |
appearance as argument number 2 |
(termFormat ChineseLanguage Reel "卷轴") | domainEnglishFormat.kif 49094-49094 | |
(termFormat ChineseTraditionalLanguage Reel "捲軸") | domainEnglishFormat.kif 49093-49093 | |
(termFormat EnglishLanguage Reel "reel") | domainEnglishFormat.kif 49092-49092 |
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 4287-4299 | |
(=> (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 4301-4314 | |
(=> (instance ?X Reel) (attribute ?X ConvexRoundShape)) |
Cars.kif 4271-4273 | |
(=> (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 4275-4285 |