No TPTP formula. May not be expressible in strict first order. |
engineering.kif 97-97 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6791-6791 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7650-7650 |
|
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 98-98 |
Pressure e' uma instancia de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 285-285 |
physicalDomain Pressure, VolumeFlow and FluidPower |