No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 676-676 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 675-675 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 674-674 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18690-18690 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18689-18689 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18688-18688 |
|