No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6570-6570 |
CedarTree 是 Conifers 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6575-6575 |
CypressTree 是 Conifers 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6582-6582 |
FirTree 是 Conifers 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6587-6587 |
LarchTree 是 Conifers 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6559-6559 |
松树 是 Conifers 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6592-6592 |
SpruceTree 是 Conifers 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64689-64689 |
|