No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2127-2127 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2126-2126 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2125-2125 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49304-49304 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49303-49303 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49302-49302 |
|