No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1470-1470 |
子類 氣壓高度計 and 壓力測量裝置 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3264-3264 |
子類 EngineMAPSensor and 壓力測量裝置 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47272-47272 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47271-47271 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47270-47270 |
|