| NonFloweringPlant | |
| appearance as argument number 1 |
|
|
| (disjoint NonFloweringPlant FloweringPlant) | Merge.kif 14455-14455 | |
| (disjointDecomposition NonFloweringPlant Alga Fern Moss) | Merge.kif 14456-14456 | |
| (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 14457-14458 | |
| (subclass NonFloweringPlant Plant) | Merge.kif 14454-14454 |
| appearance as argument number 2 |
|
|
| (subclass Alga NonFloweringPlant) | Merge.kif 14460-14460 | |
| (subclass Fern NonFloweringPlant) | Merge.kif 14487-14487 | |
| (subclass Lichen NonFloweringPlant) | Geography.kif 6322-6322 | |
| (subclass Moss NonFloweringPlant) | Merge.kif 14483-14483 | |
| (termFormat ChineseLanguage NonFloweringPlant "无花植物") | chinese_format.kif 967-967 | |
| (termFormat EnglishLanguage NonFloweringPlant "non flowering plant") | english_format.kif 1141-1141 | |
| (termFormat FrenchLanguage NonFloweringPlant "plante non florissante") | french_format.kif 644-644 | |
| (termFormat Hindi NonFloweringPlant "apushpI vanaspati") | terms-hindi.txt 175-175 | |
| (termFormat ItalianLanguage NonFloweringPlant "PiantaNonDaFiore") | terms-it.txt 178-178 | |
| (termFormat JapaneseLanguage NonFloweringPlant "隠花植物") | japanese_format.kif 2328-2328 | |
| (termFormat PortugueseLanguage NonFloweringPlant "Planta sem flores") | portuguese_format.kif 596-596 | |
| (termFormat cz NonFloweringPlant "non flowering plant") | terms-cz.txt 212-212 | |
| (termFormat ro NonFloweringPlant "plantã fãrã flori") | relations-ro.kif 665-665 | |
| (termFormat tg NonFloweringPlant "Halamang di-namumulaklak") | terms-tg.txt 179-179 |
| consequent |
|
|
| (=> (instance ?SPORE Spore) (exists (?PLANT ?TIME) (and (instance ?PLANT NonFloweringPlant) (holdsDuring ?TIME (part ?SPORE ?PLANT))))) |
Merge.kif 15111-15116 |
|
|
|