FloweringPlant |
appearance as argument number 1 |
(documentation FloweringPlant ChineseLanguage "这是一种能开花结果的 Plant。这个类别博阿酷哦数、 灌木、花和草。") | chinese_format.kif 3381-3382 | |
(documentation FloweringPlant EnglishLanguage "A Plant that produces seeds and flowers. This class includes trees, shrubs, herbs, and flowers.") | Merge.kif 14451-14452 | |
(externalImage FloweringPlant "http://farm1.static.flickr.com/57/156652388_e44ff9eee5.jpg?v=0") | pictureList.kif 985-985 | |
(subclass FloweringPlant Plant) | Merge.kif 14450-14450 |
appearance as argument number 2 |
(disjoint NonFloweringPlant FloweringPlant) | Merge.kif 14455-14455 | |
(subclass Cactus FloweringPlant) | Geography.kif 6295-6295 | |
(subclass HerbaceousPlant FloweringPlant) | Mid-level-ontology.kif 9383-9383 | |
(subclass Succulent FloweringPlant) | Geography.kif 6281-6281 | |
(subclass Vine FloweringPlant) | Geography.kif 6274-6274 | |
(subclass WoodyPlant FloweringPlant) | Mid-level-ontology.kif 9391-9391 | |
(termFormat ChineseLanguage FloweringPlant "开花植物") | chinese_format.kif 966-966 | |
(termFormat EnglishLanguage FloweringPlant "flowering plant") | english_format.kif 1139-1139 | |
(termFormat FrenchLanguage FloweringPlant "plant florissante") | french_format.kif 643-643 | |
(termFormat Hindi FloweringPlant "pushpI vanaspati") | terms-hindi.txt 174-174 | |
(termFormat ItalianLanguage FloweringPlant "PiantaDaFiore") | terms-it.txt 177-177 | |
(termFormat JapaneseLanguage FloweringPlant "顕花植物") | japanese_format.kif 2327-2327 | |
(termFormat PortugueseLanguage FloweringPlant "Planta Florindo") | portuguese_format.kif 595-595 | |
(termFormat cz FloweringPlant "flowering plant") | terms-cz.txt 211-211 | |
(termFormat ro FloweringPlant "plantã cu flori") | relations-ro.kif 664-664 | |
(termFormat tg FloweringPlant "Halamang namumulaklak") | terms-tg.txt 178-178 |
consequent |
(=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P)))) |
Economy.kif 4532-4543 | |
(=> (instance ?FLOWER Flower) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?FLOWER ?PLANT))))) |
Mid-level-ontology.kif 9552-9558 | |
(=> (instance ?SEED Seed) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?SEED ?PLANT))))) |
Merge.kif 15087-15092 |