No TPTP formula. May not be expressible in strict first order. |
engineering.kif 932-932 |
Faucet is a subclass of fluid power device |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 907-907 |
Fluid cylinder is a subclass of fluid power device |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 913-913 |
Valve is a subclass of fluid power device |
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 |
|