| Petroleum(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 45438-45438 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45437-45437 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45436-45436 |
| 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 2404-2406 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2414-2416 |
|
|
|
|