PlantAnatomicalStructure - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PlantAnatomicalStructure AnatomicalStructure)	Merge.kif 15303-15303
(documentation PlantAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Plants.")	Merge.kif 15304-15305

appearance as argument number 2

(subclass Seed PlantAnatomicalStructure)	Merge.kif 15333-15333
(subclass Pollen PlantAnatomicalStructure)	Merge.kif 15345-15345
(subclass FruitOrVegetable PlantAnatomicalStructure)	Merge.kif 15350-15350
(subclass Spore PlantAnatomicalStructure)	Merge.kif 15358-15358
(subclass Cotton PlantAnatomicalStructure)	Mid-level-ontology.kif 6565-6565
(subclass PlantLeaf PlantAnatomicalStructure)	Mid-level-ontology.kif 10959-10959
(subclass PlantBranch PlantAnatomicalStructure)	Mid-level-ontology.kif 10964-10964
(subclass PlantRoot PlantAnatomicalStructure)	Mid-level-ontology.kif 10991-10991
(subclass Flower PlantAnatomicalStructure)	Mid-level-ontology.kif 11012-11012
(subclass PlantStem PlantAnatomicalStructure)	Mid-level-ontology.kif 11024-11024
(subclass PlantSpinoseStructure PlantAnatomicalStructure)	Mid-level-ontology.kif 11067-11067
(subclass PlantAreole PlantAnatomicalStructure)	Geography.kif 7915-7915
(termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure")	domainEnglishFormat.kif 46103-46103
(termFormat ChineseTraditionalLanguage PlantAnatomicalStructure "植物解剖結構")	domainEnglishFormat.kif 46104-46104
(termFormat ChineseLanguage PlantAnatomicalStructure "植物解剖结构")	domainEnglishFormat.kif 46105-46105

appearance as argument number 3

(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 15224-15224
(domainSubclass PlantFn 1 PlantAnatomicalStructure)	Food.kif 3386-3386

antecedent

(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))

consequent

(=>
    (instance ?S Spice)
    (exists (?P ?CLASS)
        (and
            (instance ?P
                (DeadFn ?CLASS))
            (part ?S ?P)
            (subclass ?CLASS PlantAnatomicalStructure))))