No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1249-1249 |
NewtonsFirstLaw e' uma instancia de ScientificLaw |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1244-1244 |
NewtonsLaw e' uma instancia de ScientificLaw |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1256-1256 |
NewtonsSecondLaw e' uma instancia de ScientificLaw |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1261-1261 |
NewtonsThirdLaw e' uma instancia de ScientificLaw |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51581-51581 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51580-51580 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51579-51579 |
|