No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1571-1571 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1570-1570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1569-1569 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35105-35105 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35104-35104 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35103-35103 |
|