| Altimeter(高度表)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1421-1423 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1024-1024 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1420-1420 | 高度表 是 测量工具 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1434-1434 | 绝对高度计 是 高度表 的 subclass |
| 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. | domainEnglishFormat.kif 6996-6996 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6995-6995 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6994-6994 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1426-1432 |
|
|
|