No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 272-272 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 271-271 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 270-270 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10727-10727 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10726-10726 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10725-10725 |
|