| 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 | 石油 是 石油产品 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1843-1843 | 石油 是 原油开采 的 industry 产品类别 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5686-5686 | 石油 的名 是 "crude oil" |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5685-5685 | 石油 的名 是 "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 |
|
|
|