No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4566-4566 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4565-4565 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4564-4564 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 198-198 |
|