No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6374-6374 |
温带雨林 是 雨林 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6372-6372 |
热带雨林 是 雨林 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48686-48686 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48685-48685 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48684-48684 |
|