No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6570-6570 |
CedarTree e' uma sub-classe de Conifers |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6575-6575 |
CypressTree e' uma sub-classe de Conifers |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6582-6582 |
FirTree e' uma sub-classe de Conifers |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6587-6587 |
LarchTree e' uma sub-classe de Conifers |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6559-6559 |
PineTree e' uma sub-classe de Conifers |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6592-6592 |
SpruceTree e' uma sub-classe de Conifers |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64691-64691 |
|