No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 840-840 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 839-839 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 838-838 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21414-21414 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21413-21413 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21412-21412 |
|