No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1811-1811 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1810-1810 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1809-1809 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41435-41435 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41434-41434 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41433-41433 |
|