No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1623-1623 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1622-1622 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1621-1621 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36203-36203 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36202-36202 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36201-36201 |
|