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 15109-15109 | |
(externalImage Spore "http://upload.wikimedia.org/wikipedia/commons/e/ea/ Tree_Fern_Spores.jpg") | pictureList.kif 2372-2372 | |
(subclass Spore PlantAnatomicalStructure) | Merge.kif 15108-15108 | |
(subclass Spore ReproductiveBody) | Merge.kif 15107-15107 |
appearance as argument number 2 |
(termFormat ChineseLanguage Spore "孢子") | domainEnglishFormat.kif 54731-54731 | |
(termFormat ChineseTraditionalLanguage Spore "孢子") | domainEnglishFormat.kif 54730-54730 | |
(termFormat EnglishLanguage Spore "spore") | domainEnglishFormat.kif 54729-54729 |
antecedent |
(=> (instance ?SPORE Spore) (exists (?PLANT ?TIME) (and (instance ?PLANT NonFloweringPlant) (holdsDuring ?TIME (part ?SPORE ?PLANT))))) |
Merge.kif 15111-15116 |