No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56-56 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55-55 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54-54 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5424-5424 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5423-5423 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5422-5422 |
|