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 | Barometric altimeter is a subclass of altimeter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1470-1470 | Barometric altimeter is a subclass of pressure measuring device |
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 |
|