No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1731-1731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1730-1730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1729-1729 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37613-37613 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37612-37612 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37611-37611 |
|