(=> (and (subclass ?CLASS Flower) (equal ?CLASS Cauliflower)) (initialPart ?CLASS CabbagePlant)) |
Economy.kif 4265-4269 | |
(subclass Flower PlantAnatomicalStructure) | Mid-level-ontology.kif 9521-9521 | 子類 花 and 植物解剖結構 |
(subclass Flower Organ) | Mid-level-ontology.kif 9522-9522 | 子類 花 and Organ |