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 3279-3279 |
子類 EngineMAPSensor and 壓力測量裝置 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47270-47270 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47269-47269 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47268-47268 |
|