No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4558-4558 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4557-4557 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4556-4556 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 182-182 |
|