AbsoluteAltimeter
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1435-1437 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1434-1434 | 绝对高度计 是 高度表 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5124-5124 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5123-5123 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5122-5122 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1441-1451 |