No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1249-1249 |
例 牛頓第一定律 and 科學法 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1244-1244 |
例 牛頓法 and 科學法 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1256-1256 |
例 牛頓第二定律 and 科學法 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1261-1261 |
例 牛頓第三定律 and 科學法 |
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 |
|