|
|
   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 | 开花植物 是 植物 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint NonFloweringPlant FloweringPlant) | Merge.kif 14455-14455 | 无花植物 和 % 2 是 disjoint |
| (subclass Cactus FloweringPlant) | Geography.kif 6295-6295 | Cactus 是 开花植物 的 subclass |
| (subclass HerbaceousPlant FloweringPlant) | Mid-level-ontology.kif 9383-9383 | HerbaceousPlant 是 开花植物 的 subclass |
| (subclass Succulent FloweringPlant) | Geography.kif 6281-6281 | Succulent 是 开花植物 的 subclass |
| (subclass Vine FloweringPlant) | Geography.kif 6274-6274 | Vine 是 开花植物 的 subclass |
| (subclass WoodyPlant FloweringPlant) | Mid-level-ontology.kif 9391-9391 | WoodyPlant 是 开花植物 的 subclass |
| (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 |
|
|
|
