No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1711-1711 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1710-1710 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1709-1709 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37505-37505 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37504-37504 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37503-37503 |
|