No TPTP formula. May not be expressible in strict first order. |
engineering.kif 65-65 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38223-38223 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38222-38222 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38221-38221 |
|