|
|
   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 2373-2373 | |
| (subclass Spore PlantAnatomicalStructure) | Merge.kif 15108-15108 | Spore is a subclass of plant anatomical structure |
| (subclass Spore ReproductiveBody) | Merge.kif 15107-15107 | Spore is a subclass of reproductive body |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Spore "孢子") | domainEnglishFormat.kif 54698-54698 | |
| (termFormat ChineseTraditionalLanguage Spore "孢子") | domainEnglishFormat.kif 54697-54697 | |
| (termFormat EnglishLanguage Spore "spore") | domainEnglishFormat.kif 54696-54696 |
| antecedent |
|
|
| (=> (instance ?SPORE Spore) (exists (?PLANT ?TIME) (and (instance ?PLANT NonFloweringPlant) (holdsDuring ?TIME (part ?SPORE ?PLANT))))) |
Merge.kif 15111-15116 |
|
|
|
|
