| BarometricAltimeter(气压高度计)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1471-1473 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4535-4535 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1469-1469 | 气压高度计 是 高度表 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1470-1470 | 气压高度计 是 压力测量装置 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9978-9978 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9977-9977 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 9976-9976 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1477-1484 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1488-1496 |
|
|
|