No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5954-5954 |
不相交的 瀝青 and 化石燃料 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2018-2018 |
子類 煤 and 化石燃料 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1714-1714 |
子類 柴油燃料 and 化石燃料 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1709-1709 |
子類 汽油 and 化石燃料 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1705-1705 |
子類 液化石油氣 and 化石燃料 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24782-24782 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24781-24781 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24780-24780 |
|