No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2722-2722 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2721-2721 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2720-2720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64418-64418 |
|