Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DeciduousTree

Sigma KEE - DeciduousTree
DeciduousTree(deciduous tree)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6389-6389 Deciduous tree is disjoint from evergreen tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6390-6391
No TPTP formula. May not be expressible in strict first order. Geography.kif 6388-6388 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 6519-6519 Aspen tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6479-6479 Balsa tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6484-6484 Beech tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6489-6489 Birch tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6494-6494 Black cherry tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6516-6516 Cottonwood tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6503-6503 Maple tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6507-6507 Okoume tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6512-6512 Poplar tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6522-6522 Red oak tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6526-6526 Sapele tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6499-6499 Sweet cherry tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6531-6531 Walnut tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6536-6536 White oak tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. Geography.kif 6541-6541 Willow tree is a subclass of deciduous tree
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64750-64750

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 6393-6404

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 5284-5291
No TPTP formula. May not be expressible in strict first order. Food.kif 2184-2186


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 is open source software produced by Articulate Software and its partners