No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3394-3394 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3393-3393 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3392-3392 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 332-332 |
|