(=> (and (subclass ?CLASS Flower) (equal ?CLASS Cauliflower)) (initialPart ?CLASS CabbagePlant)) |
Economy.kif 4265-4269 |
|
(subclass Flower PlantAnatomicalStructure) | Mid-level-ontology.kif 9520-9520 | Flower è una sottoclasse di PlantAnatomicalStructure |
(subclass Flower Organ) | Mid-level-ontology.kif 9521-9521 | Flower è una sottoclasse di Organo |