No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1503-1503 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1502-1502 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1501-1501 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34013-34013 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34012-34012 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34011-34011 |
|