No TPTP formula. May not be expressible in strict first order. |
engineering.kif 305-305 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27570-27570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27569-27569 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27568-27568 |
|