Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Flower(flower)
|  | bloom, blossom, bud, flower, thyrse, thyrsus |
| appearance as argument number 1 |
|
|
| (subclass Flower PlantAnatomicalStructure) | Mid-level-ontology.kif 11012-11012 | Flower is a subclass of plant anatomical structure |
| (subclass Flower Organ) | Mid-level-ontology.kif 11013-11013 | Flower is a subclass of organ |
| (documentation Flower EnglishLanguage "The reproductive organ of FloweringPlants.") | Mid-level-ontology.kif 11014-11014 | Flower is a subclass of organ |
| (externalImage Flower "http://articulatesoftware.com/SUMOpictures/plants/ flowers/ flowers_3/ Flower_75.png") | pictureList.kif 439-439 | Flower is a subclass of organ |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 (subclass ?CLASS Flower) (equal ?CLASS Cauliflower)) (initialPart ?CLASS CabbagePlant)) |
Economy.kif 4597-4601 | If X is a subclass of flower and equal X and cauliflower, then every X is initially part of a cabbage plant |
| consequent |
|
|
| (=> (attribute ?X Florists) (hasPurpose ?X (exists (?FLOWER ?PROC) (and (instance ?PROC Designing) (instance ?FLOWER CollectionOfObjects) (memberType ?FLOWER Flower) (patient ?PROC ?FLOWER) (agent ?PROC ?X))))) |
naics.kif 7770-7779 | If florists is an attribute of X, then X has the purpose there exist Y, Z such that Z is an instance of designing, Y is an instance of collection, flower is a member type of Y, Y is a patient of Z, and X is an agent of Z |
|