No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3158-3158 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3157-3157 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3156-3156 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18570-18570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18569-18569 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18568-18568 |
|