![]() |
![]() ![]() ![]()
|
![]() |
|
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 14009-14009 | |
(externalImage Spore "http://upload.wikimedia.org/wikipedia/commons/e/ea/ Tree_Fern_Spores.jpg") | pictureList.kif 2374-2374 | |
(subclass Spore PlantAnatomicalStructure) | Merge.kif 14008-14008 | |
(subclass Spore ReproductiveBody) | Merge.kif 14007-14007 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Spore "孢子") | domainEnglishFormat.kif 54620-54620 | |
(termFormat ChineseTraditionalLanguage Spore "孢子") | domainEnglishFormat.kif 54619-54619 | |
(termFormat EnglishLanguage Spore "spore") | domainEnglishFormat.kif 54618-54618 |
antecedent |
![]() |
(=> (instance ?SPORE Spore) (exists (?PLANT ?TIME) (and (instance ?PLANT NonFloweringPlant) (holdsDuring ?TIME (part ?SPORE ?PLANT))))) |
Merge.kif 14011-14016 |
![]() |
![]() |