No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4110-4110 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4109-4109 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4108-4108 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2775-2775 |
|