No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1249-1249 |
牛顿第一定律 是 科学法 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1244-1244 |
牛顿法 是 科学法 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1256-1256 |
牛顿第二定律 是 科学法 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1261-1261 |
牛顿第三定律 是 科学法 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51579-51579 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51578-51578 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51577-51577 |
|