No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 856-856 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 855-855 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 854-854 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21438-21438 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21437-21437 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21436-21436 |
|