No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4442-4442 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4441-4441 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4440-4440 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 458-458 |
|