No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4002-4002 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4001-4001 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4000-4000 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2921-2921 |
|