DeciduousTree - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6457-6457	Deciduous tree is disjoint from evergreen tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6458-6459	Deciduous tree is disjoint from evergreen tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6456-6456	Deciduous tree is a subclass of botanical tree

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6587-6587	Aspen tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6547-6547	Balsa tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6552-6552	Beech tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6557-6557	Birch tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6562-6562	Black cherry tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6584-6584	Cottonwood tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6571-6571	Maple tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6575-6575	Okoume tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6580-6580	Poplar tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6590-6590	Red oak tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6594-6594	Sapele tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6567-6567	Sweet cherry tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6599-6599	Walnut tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6604-6604	White oak tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6609-6609	Willow tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64773-64773	Willow tree is a subclass of deciduous tree

antecedent

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

Geography.kif 6461-6472

If a plant is a Removing a plant leaf from its stems and the plant is an instance of deciduous tree and the plant leaf is an instance of plant leaf,
then there exist a kind of process and another process such that a kind of process is a subclass of removing and the kind of process occurs every year duration and the other process is an instance of the kind of process and the other process originates at the plant and the plant leaf is a patient of the other process

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5494-5501	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.	Food.kif 2184-2186	If a kind of plant is equal to plant fn apple, then a kind of plant is a subclass of deciduous tree

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: