No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4562-4562 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4561-4561 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4560-4560 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 243-243 |
|