No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 324-324 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 323-323 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 322-322 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 687-687 |
边界 的名 是 "border" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6176-6176 |
海岸线 是 边界 的 subrelation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11651-11651 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11650-11650 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11649-11649 |
|