PlantAnatomicalStructure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PlantAnatomicalStructure ChineseLanguage "这是只属于 Plant de AnatomicalStructure。")	chinese_format.kif 3497-3498
(documentation PlantAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Plants.")	Merge.kif 15112-15113
(subclass PlantAnatomicalStructure AnatomicalStructure)	Merge.kif 15111-15111

appearance as argument number 2

(subclass Cotton PlantAnatomicalStructure)	Mid-level-ontology.kif 6409-6409
(subclass Flower PlantAnatomicalStructure)	Mid-level-ontology.kif 10870-10870
(subclass FruitOrVegetable PlantAnatomicalStructure)	Merge.kif 15158-15158
(subclass PlantAreole PlantAnatomicalStructure)	Mid-level-ontology.kif 10949-10949
(subclass PlantBranch PlantAnatomicalStructure)	Mid-level-ontology.kif 10822-10822
(subclass PlantLeaf PlantAnatomicalStructure)	Mid-level-ontology.kif 10817-10817
(subclass PlantRoot PlantAnatomicalStructure)	Mid-level-ontology.kif 10849-10849
(subclass PlantSpinoseStructure PlantAnatomicalStructure)	Mid-level-ontology.kif 10925-10925
(subclass PlantStem PlantAnatomicalStructure)	Mid-level-ontology.kif 10882-10882
(subclass Pollen PlantAnatomicalStructure)	Merge.kif 15153-15153
(subclass Seed PlantAnatomicalStructure)	Merge.kif 15141-15141
(subclass Spore PlantAnatomicalStructure)	Merge.kif 15166-15166
(termFormat ChineseLanguage PlantAnatomicalStructure "植物解剖结构")	domainEnglishFormat.kif 46141-46141
(termFormat ChineseTraditionalLanguage PlantAnatomicalStructure "植物解剖結構")	domainEnglishFormat.kif 46140-46140
(termFormat EnglishLanguage PlantAnatomicalStructure "plant anatomical structure")	domainEnglishFormat.kif 46139-46139

appearance as argument number 3

(domainSubclass PlantFn 1 PlantAnatomicalStructure)	Food.kif 3352-3352
(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 15019-15019

antecedent

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

Merge.kif 15115-15120

consequent

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

Economy.kif 4700-4707