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