No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 708-708 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 707-707 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 706-706 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19110-19110 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19109-19109 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19108-19108 |
|