No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 572-572 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 571-571 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 570-570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17670-17670 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17669-17669 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17668-17668 |
|