|
|
   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 is a subclass of petroleum product |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1843-1843 | Petroleum is an industry product type of crude petroleum extraction |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5686-5686 | Petroleum has name "crude oil" |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5685-5685 | Petroleum has name "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 |
|
|
|
|
