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 |
![]() |
![]() |