No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4622-4622 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4621-4621 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4620-4620 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55146-55146 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55145-55145 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55144-55144 |
|