| NonFloweringPlant(无花植物) | |
| appearance as argument number 1 |
|
|
| (disjoint NonFloweringPlant FloweringPlant) | Merge.kif 14409-14409 | 无花植物 和 % 2 是 disjoint |
| (disjointDecomposition NonFloweringPlant Alga Fern Moss) | Merge.kif 14410-14410 | 无花植物 分拆成不相交的 藻类, 蕨类, 和 苔藓 |
| (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 14411-14412 | |
| (subclass NonFloweringPlant Plant) | Merge.kif 14408-14408 | 无花植物 是 植物 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Alga NonFloweringPlant) | Merge.kif 14414-14414 | 藻类 是 无花植物 的 subclass |
| (subclass Fern NonFloweringPlant) | Merge.kif 14441-14441 | 蕨类 是 无花植物 的 subclass |
| (subclass Lichen NonFloweringPlant) | Geography.kif 6322-6322 | 青苔 是 无花植物 的 subclass |
| (subclass Moss NonFloweringPlant) | Merge.kif 14437-14437 | 苔藓 是 无花植物 的 subclass |
| (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 15065-15070 |
|
|
|