No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3986-3986 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3985-3985 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3984-3984 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2899-2899 |
|