Sigma KB Term Intersection

(=> (instance ?S Spice) (exists (?P ?CLASS) (and (instance ?P (DeadFn ?CLASS)) (part ?S ?P) (subclass ?CLASS PlantAnatomicalStructure))))	Economy.kif 4365-4372	例 Object and 香料 Object OrganicObject 例 Object and 一個 dead OrganicObject 部分 Object and Object 子類 OrganicObject and 植物解剖結構
(subclass PlantAnatomicalStructure AnatomicalStructure)	Merge.kif 15029-15029	子類植物解剖結構 and AnatomicalStructure
(subclass Cotton PlantAnatomicalStructure)	Mid-level-ontology.kif 5445-5445	子類棉 and 植物解剖結構
(subclass PlantLeaf PlantAnatomicalStructure)	Mid-level-ontology.kif 9467-9467	子類 PlantLeaf and 植物解剖結構
(subclass PlantBranch PlantAnatomicalStructure)	Mid-level-ontology.kif 9472-9472	子類植物分支 and 植物解剖結構
(subclass PlantRoot PlantAnatomicalStructure)	Mid-level-ontology.kif 9499-9499	子類植物根 and 植物解剖結構
(subclass Flower PlantAnatomicalStructure)	Mid-level-ontology.kif 9520-9520	子類花 and 植物解剖結構
(subclass PlantStem PlantAnatomicalStructure)	Mid-level-ontology.kif 9532-9532	子類 PlantStem and 植物解剖結構
(subclass PlantSpinoseStructure PlantAnatomicalStructure)	Mid-level-ontology.kif 9575-9575	子類 PlantSpinoseStructure and 植物解剖結構
(subclass PlantAreole PlantAnatomicalStructure)	Mid-level-ontology.kif 9599-9599	子類 PlantAreole and 植物解剖結構
(subclass Seed PlantAnatomicalStructure)	Merge.kif 15059-15059	子類種子 and 植物解剖結構
(subclass Pollen PlantAnatomicalStructure)	Merge.kif 15071-15071	子類花粉 and 植物解剖結構
(subclass FruitOrVegetable PlantAnatomicalStructure)	Merge.kif 15076-15076	子類 FruitOrVegetable and 植物解剖結構
(subclass Spore PlantAnatomicalStructure)	Merge.kif 15084-15084	子類孢子 and 植物解剖結構

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners