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 has name "border" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6176-6176 |
Shoreline is a subrelation of border |
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 |
|