No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4082-4082 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4081-4081 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4080-4080 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44730-44730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44729-44729 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44728-44728 |
|