No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 604-604 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 603-603 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 602-602 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18084-18084 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18083-18083 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18082-18082 |
|