PlantStem - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10882-10884
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10881-10881	Plant stem is a subclass of organ
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10880-10880	Plant stem is a subclass of plant anatomical structure

appearance as argument number 2

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

domainEnglishFormat.kif 65349-65349

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5053-5059	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of tea plant aerial part and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a tea plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5637-5642	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Balsa wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Balsa tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5647-5652	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Beech wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Beech tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5657-5662	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Birch wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Birch tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5762-5767	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Cedar wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Cedar tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5667-5674	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of cherry wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a black cherry tree or every the other kind of object is initially part of a sweet cherry tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5772-5777	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of fir wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Fir tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5625-5632	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of hardwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a deciduous tree has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5782-5787	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of larch wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a larch tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5679-5684	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of maple wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a maple tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5689-5694	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Okoume wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a okoume tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5803-5808	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of pine wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a pine tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5699-5704	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Poplar wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Poplar tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5709-5714	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of red oak wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a red oak tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5719-5724	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Sapele wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Sapele tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5750-5757	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of softwood and a kind of organic object is a subclass of plant stem, then the statement every the kind of organic object is initially part of a conifers has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5792-5797	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of Spruce wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a Spruce tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5729-5734	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of walnut wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a walnut tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5739-5744	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of white oak wood and another kind of object is a subclass of plant stem, then every the other kind of object is initially part of a white oak tree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5576-5585	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of wood product and another kind of object is a subclass of plant stem, then there exists a third kind of object such that a third kind of object is a subclass of botanical tree and every the other kind of object is initially part of a the third kind of object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10886-10891	If an entity is an instance of plant stem and another entity is an instance of plant root, then the statement the entity is above to the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5165-5169	If a kind of object is a subclass of plant stem and a kind of object is equal to alfalfa, then every the kind of object is initially part of a alfalfa plant
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10893-10904	If a physical is an instance of plant stem, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the physical is an instrument for the entity and the other entity is an instance of plant root and the entity originates at the other entity and the third entity is an instance of substance and fluid is an attribute of the third entity and the object transferred in the entity is the third entity

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5827-5835	If a process is an instance of felling and an entity is a result of the process, then there exists the entityTEM such that the entity is an instance of a dead the entityTEM and the entityTEM is a subclass of plant stem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10908-10921	If an object is an instance of plant and another object is a part of the object, then there exist a process, an entity and another kind of process such that the process is an instance of another kind of process and the other kind of process is a subclass of keeping and the entity is an instance of freshwater and the entity is a patient of the process and the other object is capable of doing the other kind of process as a instrument and the other object is an instance of plant leaf or the other object is an instance of plant stem
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5844-5863	If a physical is an instance of felling, then the physical has the purpose there exist an entity, the entityIMB and a third entity such that the entity is an instance of botanical tree and the entity is a patient of the physical and the entityIMB is a result of the physical and the entityIMB is an instance of timber and the entityIMB is equal to the third entity and the third entity is an instance of plant stem and the third entity is a part of the entity holds during the beginning of the time of existence of the physical and the third entity is not a part of the entity holds during the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5814-5825	If an entity is an instance of felling, then there exist a process, another process,, , an object and another object such that the process is an instance of cutting and the object is a patient of the process and the object is an instance of botanical tree and the other process is a result of the process and the other process is an instance of falling and the other object is a patient of the other process and the other object is an instance of plant stem and the other object is a part of the object

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: