No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1249-1249 |
Newtons first law is an instance of scientific law |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1244-1244 |
Newtons law is an instance of scientific law |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1256-1256 |
Newtons second law is an instance of scientific law |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1261-1261 |
Newtons third law is an instance of scientific law |
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 |
|