No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3786-3786 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3785-3785 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3784-3784 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34793-34793 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34792-34792 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34791-34791 |
|