No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 312-312 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 311-311 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 310-310 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11183-11183 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11182-11182 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11181-11181 |
|