No TPTP formula. May not be expressible in strict first order. |
engineering.kif 258-258 |
Electrical e' uma instancia de PhysicalDomain |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 270-270 |
FluidPower e' uma instancia de PhysicalDomain |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 266-266 |
Rotary e' uma instancia de PhysicalDomain |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 262-262 |
Translatory e' uma instancia de PhysicalDomain |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45732-45732 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45731-45731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45730-45730 |
|