No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1249-1249 |
NewtonsFirstLaw est une instance de ScientificLaw |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1244-1244 |
NewtonsLaw est une instance de ScientificLaw |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1256-1256 |
NewtonsSecondLaw est une instance de ScientificLaw |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1261-1261 |
NewtonsThirdLaw est une instance de ScientificLaw |
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 |
|