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 | BarometricAltimeter e' uma sub-classe de Altimeter |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1470-1470 | BarometricAltimeter e' uma sub-classe de PressureMeasuringDevice |
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 |
|