No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1845-1845 |
industryProductType PetroleumLubricatingOilAndGreaseManufacturing and PetroleumLubricant |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5939-5939 |
MotorOil e' uma sub-classe de PetroleumLubricant |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45482-45482 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45481-45481 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 45480-45480 |
|