No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 883-883 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 882-882 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 881-881 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21627-21627 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21626-21626 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21625-21625 |
|