No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 196-196 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 195-195 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 194-194 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8772-8772 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8771-8771 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8770-8770 |
|