No TPTP formula. May not be expressible in strict first order. |
engineering.kif 258-258 |
Electrical is an instance of physical domain |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 270-270 |
Fluid power is an instance of physical domain |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 266-266 |
Rotary is an instance of physical domain |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 262-262 |
Translatory is an instance of physical domain |
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 |
|