| Spore
| |
| appearance as argument number 1 |
|
|
| (documentation Spore ChineseLanguage "这是 NonFloweringPlant 的 ReproductiveBody。 ") | chinese_format.kif 3510-3510 | |
| (documentation Spore EnglishLanguage "Any ReproductiveBody of a NonFloweringPlant.") | Merge.kif 14021-14021 | |
| (externalImage Spore "http://upload.wikimedia.org/wikipedia/commons/e/ea/ Tree_Fern_Spores.jpg") | pictureList.kif 2374-2374 | |
| (subclass Spore PlantAnatomicalStructure) | Merge.kif 14020-14020 | |
| (subclass Spore ReproductiveBody) | Merge.kif 14019-14019 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Spore "孢子") | domainEnglishFormat.kif 54686-54686 | |
| (termFormat ChineseTraditionalLanguage Spore "孢子") | domainEnglishFormat.kif 54685-54685 | |
| (termFormat EnglishLanguage Spore "spore") | domainEnglishFormat.kif 54684-54684 |
| antecedent |
|
|
| (=> (instance ?SPORE Spore) (exists (?PLANT ?TIME) (and (instance ?PLANT NonFloweringPlant) (holdsDuring ?TIME (part ?SPORE ?PLANT))))) |
Merge.kif 14023-14028 |
|
|
|