| 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 9574-9574 | |
| (subclass Succulent FloweringPlant) | Geography.kif 6281-6281 | |
| (subclass Vine FloweringPlant) | Geography.kif 6274-6274 | |
| (subclass WoodyPlant FloweringPlant) | Mid-level-ontology.kif 9582-9582 | |
| (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 4647-4658 | |
| (=> (instance ?FLOWER Flower) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?FLOWER ?PLANT))))) |
Mid-level-ontology.kif 9743-9749 | |
| (=> (instance ?SEED Seed) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?SEED ?PLANT))))) |
Merge.kif 15087-15092 |
|
|
|