No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4218-4218 |
朴素 是 低地地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4227-4227 |
谷 是 低地地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35183-35183 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35182-35182 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35181-35181 |
|