No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1037-1037 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1036-1036 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1035-1035 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24122-24122 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24121-24121 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24120-24120 |
|