PlantAnatomicalStructure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3497-3498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15030-15031
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15029-15029	Plant anatomical structure is a subclass of anatomical structure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5445-5445	Cotton is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9520-9520	Flower is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15076-15076	Fruit or vegetable is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9599-9599	Plant areole is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9472-9472	Plant branch is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9467-9467	Plant leaf is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9499-9499	Plant root is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9575-9575	Plant spinose structure is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9532-9532	Plant stem is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15071-15071	Pollen is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15059-15059	Seed is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15084-15084	Spore is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46110-46110
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46109-46109
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46108-46108

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Food.kif 3352-3352	The number 1 argument of plant fn is a subclass of plant anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14937-14937	Anatomical structure is exhaustively partitioned into animal anatomical structure and plant anatomical structure

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 15033-15038

If an object is an instance of plant anatomical structure and another object is an instance of organism and the object is a part of the other object,
then the other object is an instance of plant

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 4365-4372

If an object is an instance of spice,
then there exist another object and a kind of organic object such that the other object is an instance of a dead a kind of organic object and the object is a part of the other object and the kind of organic object is a subclass of plant anatomical structure

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

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

KB Term:			Term intersection

English Word: