No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1101-1101 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1100-1100 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1099-1099 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25812-25812 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25811-25811 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25810-25810 |
|