No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4642-4642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4641-4641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4640-4640 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55304-55304 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55303-55303 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55302-55302 |
|