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