| 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 14558-14559 | |
| (externalImage FloweringPlant "http://farm1.static.flickr.com/57/156652388_e44ff9eee5.jpg?v=0") | pictureList.kif 985-985 | |
| (subclass FloweringPlant Plant) | Merge.kif 14557-14557 | 顕花植物 は 植物 の subclass では |
| appearance as argument number 2 |
|
|
| 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 4870-4881 | |
| (=> (instance ?FLOWER Flower) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?FLOWER ?PLANT))))) |
Mid-level-ontology.kif 10854-10860 | |
| (=> (instance ?SEED Seed) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?SEED ?PLANT))))) |
Merge.kif 15194-15199 |
|
|
|