EvergreenTree
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6545-6546 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6544-6544 | Evergreen 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 6389-6389 | Deciduous tree is disjoint from evergreen tree |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4701-4701 | Cocoa tree is a subclass of evergreen tree |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6555-6555 | Conifers is a subclass of evergreen tree |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4723-4723 | TeaPlant is a subclass of evergreen tree |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64839-64839 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6548-6553 |
|