Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass FloweringPlant Plant) | Merge.kif 14716-14716 | Flowering plant is a subclass of plant |
| (documentation FloweringPlant EnglishLanguage "A Plant that produces seeds and flowers. This class includes trees, shrubs, herbs, and flowers.") | Merge.kif 14717-14718 | Flowering plant is a subclass of plant |
| (externalImage FloweringPlant "http://farm1.static.flickr.com/57/156652388_e44ff9eee5.jpg?v=0") | pictureList.kif 985-985 | Flowering plant is a subclass of plant |
| appearance as argument number 2 |
|
|
| (disjoint NonFloweringPlant FloweringPlant) | Merge.kif 14721-14721 | Non flowering plant is disjoint from flowering plant |
| (subclass HerbaceousPlant FloweringPlant) | Mid-level-ontology.kif 10848-10848 | Herbaceous plant is a subclass of flowering plant |
| (subclass WoodyPlant FloweringPlant) | Mid-level-ontology.kif 10856-10856 | Woody plant is a subclass of flowering plant |
| (subclass Vine FloweringPlant) | Geography.kif 7874-7874 | Vine is a subclass of flowering plant |
| (subclass Succulent FloweringPlant) | Geography.kif 7881-7881 | Succulent is a subclass of flowering plant |
| (subclass Cactus FloweringPlant) | Geography.kif 7895-7895 | Cactus is a subclass of flowering plant |
| (subclass Hops FloweringPlant) | Society.kif 1145-1145 | Hops is a subclass of flowering plant |
| (subclass Herb FloweringPlant) | Society.kif 1315-1315 | Herb is a subclass of flowering plant |
| (termFormat EnglishLanguage FloweringPlant "flowering plant") | english_format.kif 1143-1143 | Herb is a subclass of flowering plant |
| consequent |
|
|
| (=> (instance ?SEED Seed) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?SEED ?PLANT))))) |
Merge.kif 15337-15342 | If X is an instance of seed, then there exist Y, Z such that Y is an instance of flowering plant, and X is a part of Y holds during Z |
| (=> (instance ?FLOWER Flower) (exists (?PLANT ?TIME) (and (instance ?PLANT FloweringPlant) (holdsDuring ?TIME (part ?FLOWER ?PLANT))))) |
Mid-level-ontology.kif 11016-11022 | If X is an instance of flower, then there exist Y, Z such that Y is an instance of flowering plant, and X is a part of Y holds during Z |
| (=> (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 4865-4876 | If equal X and Object made from Y, X is a subclass of oil from plant, and Y is a subclass of seed or Y is a subclass of fruit, then there exists Z such that Z is a subclass of flowering plant and every Y is initially part of a Z |
|
