Petroleum
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5688-5694 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 662-662 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1900-1900 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5684-5684 | Petroleum est une sous-classe de PetroleumProduct |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1843-1843 | industryProductType CrudePetroleumExtraction and Petroleum |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5686-5686 | Petroleum s'appele nom "crude oil" |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5685-5685 | Petroleum s'appele nom "petroleum" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45440-45440 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45439-45439 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45438-45438 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 801-807 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2410-2412 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2420-2422 |