| NonFloweringPlant(隠花植物) | |
| appearance as argument number 1 |
|
|
| (disjoint NonFloweringPlant FloweringPlant) | Merge.kif 14547-14547 | 隠花植物 と 顕花植物 は disjoint では |
| (disjointDecomposition NonFloweringPlant Alga Fern Moss) | Merge.kif 14548-14548 | 隠花植物 は 藻, シダ, + コケ に disjointly decomposed |
| (documentation NonFloweringPlant ChineseLanguage "这是一种通过孢子来繁殖，而不能开花的 Plant。") | chinese_format.kif 3383-3383 | 隠花植物 は 藻, シダ, + コケ に disjointly decomposed |
| (documentation NonFloweringPlant EnglishLanguage "A Plant that reproduces with spores and does not produce flowers.") | Merge.kif 14549-14550 | 隠花植物 は 藻, シダ, + コケ に disjointly decomposed |
| (subclass NonFloweringPlant Plant) | Merge.kif 14546-14546 | 隠花植物 は 植物 の subclass では |
| appearance as argument number 2 |
|
|
| (subclass Alga NonFloweringPlant) | Merge.kif 14552-14552 | 藻 は 隠花植物 の subclass では |
| (subclass Fern NonFloweringPlant) | Merge.kif 14579-14579 | シダ は 隠花植物 の subclass では |
| (subclass Lichen NonFloweringPlant) | Geography.kif 6455-6455 | Lichen は 隠花植物 の subclass では |
| (subclass Moss NonFloweringPlant) | Merge.kif 14575-14575 | コケ は 隠花植物 の subclass では |
| (termFormat ChineseLanguage NonFloweringPlant "无花植物") | chinese_format.kif 967-967 | コケ は 隠花植物 の subclass では |
| (termFormat EnglishLanguage NonFloweringPlant "non flowering plant") | english_format.kif 1141-1141 | コケ は 隠花植物 の subclass では |
| (termFormat FrenchLanguage NonFloweringPlant "plante non florissante") | french_format.kif 644-644 | コケ は 隠花植物 の subclass では |
| (termFormat Hindi NonFloweringPlant "apushpI vanaspati") | terms-hindi.txt 175-175 | コケ は 隠花植物 の subclass では |
| (termFormat ItalianLanguage NonFloweringPlant "PiantaNonDaFiore") | terms-it.txt 178-178 | コケ は 隠花植物 の subclass では |
| (termFormat JapaneseLanguage NonFloweringPlant "隠花植物") | japanese_format.kif 2328-2328 | コケ は 隠花植物 の subclass では |
| (termFormat PortugueseLanguage NonFloweringPlant "Planta sem flores") | portuguese_format.kif 596-596 | コケ は 隠花植物 の subclass では |
| (termFormat cz NonFloweringPlant "non flowering plant") | terms-cz.txt 212-212 | コケ は 隠花植物 の subclass では |
| (termFormat de NonFloweringPlant "nichtbluehende Pflanze") | terms-de.txt 471-471 | コケ は 隠花植物 の subclass では |
| (termFormat ro NonFloweringPlant "plantã fãrã flori") | relations-ro.kif 665-665 | コケ は 隠花植物 の subclass では |
| (termFormat tg NonFloweringPlant "Halamang di-namumulaklak") | terms-tg.txt 179-179 | コケ は 隠花植物 の subclass では |
| consequent |
|
|
| (=> (instance ?SPORE Spore) (exists (?PLANT ?TIME) (and (instance ?PLANT NonFloweringPlant) (holdsDuring ?TIME (part ?SPORE ?PLANT))))) |
Merge.kif 15203-15208 |
|
|
|