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 41433-41433 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41432-41432 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41431-41431 |
|