VolumeFlow
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 100-100 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 101-101 | Volume flow is an instance of physical dimension |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 285-285 | Pressure and volume flow form physical domain fluid power |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61953-61953 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61952-61952 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 61951-61951 |