No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2706-2706 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2705-2705 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2704-2704 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 935-935 |
|