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 12577-12577 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12576-12576 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12575-12575 |
|