No TPTP formula. May not be expressible in strict first order. |
engineering.kif 932-932 |
Faucet e' uma sub-classe de FluidPowerDevice |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 907-907 |
FluidCylinder e' uma sub-classe de FluidPowerDevice |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 913-913 |
Valve e' uma sub-classe de FluidPowerDevice |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24398-24398 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24397-24397 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24396-24396 |
|