No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1759-1759 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1758-1758 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1757-1757 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38415-38415 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38414-38414 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38413-38413 |
|