No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2978-2978 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2977-2977 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2976-2976 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 662-662 |
|