| NonFloweringPlant | |
| appearance as argument number 1 |
|
|
| (disjoint NonFloweringPlant FloweringPlant) | Merge.kif 13357-13357 | disjoint NonFloweringPlant and FloweringPlant |
| (disjointDecomposition NonFloweringPlant Alga Fern Moss) | Merge.kif 13358-13358 | disjointDecomposition NonFloweringPlant, Alga, Fern and Moss |
| (documentation NonFloweringPlant ChineseLanguage "这是一种通过孢子来繁殖，而不能开花的 Plant。") | chinese_format.kif 3383-3383 | |
| (documentation NonFloweringPlant EnglishLanguage "A Plant that reproduces with spores and does not produce flowers.") | Merge.kif 13359-13360 | |
| (subclass NonFloweringPlant Plant) | Merge.kif 13356-13356 | subclass NonFloweringPlant and Plant |
| appearance as argument number 2 |
|
|
| (subclass Alga NonFloweringPlant) | Merge.kif 13362-13362 | subclass Alga and NonFloweringPlant |
| (subclass Fern NonFloweringPlant) | Merge.kif 13389-13389 | subclass Fern and NonFloweringPlant |
| (subclass Lichen NonFloweringPlant) | Geography.kif 5867-5867 | subclass Lichen and NonFloweringPlant |
| (subclass Moss NonFloweringPlant) | Merge.kif 13385-13385 | subclass Moss and NonFloweringPlant |
| (termFormat ChineseLanguage NonFloweringPlant "无花植物") | chinese_format.kif 967-967 | |
| (termFormat EnglishLanguage NonFloweringPlant "non flowering plant") | english_format.kif 1146-1146 |
| consequent |
|
|
| (=> (instance ?SPORE Spore) (exists (?PLANT ?TIME) (and (instance ?PLANT NonFloweringPlant) (holdsDuring ?TIME (part ?SPORE ?PLANT))))) |
Merge.kif 13974-13979 |
|
|
|
|