No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1470-1470 |
BarometricAltimeter e' uma sub-classe de PressureMeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3264-3264 |
EngineMAPSensor e' uma sub-classe de PressureMeasuringDevice |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47272-47272 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47271-47271 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47270-47270 |
|