|
|
   AirLaunchMissile
|
|
|
| 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 4277-4277 | |
| (subclass Reel Device) | Cars.kif 4276-4276 | 子類 捲軸 and Device |
| 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 4295-4307 | |
| (=> (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 4309-4322 | |
| (=> (instance ?X Reel) (attribute ?X ConvexRoundShape)) |
Cars.kif 4279-4281 | |
| (=> (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 4283-4293 |
|
|
|