No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3034-3034 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3033-3033 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3032-3032 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 761-761 |
|