|
|
  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 |
|
|
|