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" and 邊界 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6176-6176 |
子關係 海岸線 and 邊界 |
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 |
|