TreeView Knowledge Base Browser - PlantAnatomicalStructure

appearance as argument number 1

(subclass PlantAnatomicalStructure AnatomicalStructure)	Merge.kif 15303-15303	Plant anatomical structure is a subclass of anatomical structure
(documentation PlantAnatomicalStructure EnglishLanguage "AnatomicalStructures that are possessed exclusively by Plants.")	Merge.kif 15304-15305	Plant anatomical structure is a subclass of anatomical structure

appearance as argument number 2

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

appearance as argument number 3

(partition AnatomicalStructure AnimalAnatomicalStructure PlantAnatomicalStructure)	Merge.kif 15224-15224	Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure
(domainSubclass PlantFn 1 PlantAnatomicalStructure)	Food.kif 3386-3386	The number 1 argument of plant fn is a subclass of plant anatomical structure

antecedent

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

Merge.kif 15307-15312

If X is an instance of plant anatomical structure, Y is an instance of organism, and X is a part of Y, then Y is an instance of plant

consequent

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

Economy.kif 4698-4705

If X is an instance of spice, then there exist Y, Z such that Y is an instance of a dead Z, X is a part of Y, and Z is a subclass of plant anatomical structure

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: