No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 332-332 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 331-331 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 330-330 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12586-12586 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12585-12585 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12584-12584 |
|