No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3810-3810 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3809-3809 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3808-3808 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 643-643 |
|