No TPTP formula. May not be expressible in strict first order. |
engineering.kif 258-258 |
Electrical est une instance de PhysicalDomain |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 270-270 |
FluidPower est une instance de PhysicalDomain |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 266-266 |
Rotary est une instance de PhysicalDomain |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 262-262 |
Translatory est une instance 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 |
|