| CompoundSubstance | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1617-1620 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1167-1173 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 197-201 | |
| No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 233-239 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1166-1166 | 子類 CompoundSubstance and PureSubstance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2761-2761 | 例 臭氧盾 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2417-2417 | 例 永久凍土 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1078-1078 | 劃分 PureSubstance, CompoundSubstance and ElementalSubstance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5945-5945 | 子類 礬土 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23379-23379 | 子類 原子團 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1984-1984 | 子類 重晶石 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14803-14803 | 子類 Carbohydrate and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3409-3409 | 子類 CarbonDioxide and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6312-6312 | 子類 水泥 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9947-9947 | 子類 化學酸 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 445-445 | 子類 化學劑 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9964-9964 | 子類 化學基地 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6207-6207 | 子類 化學產品 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9968-9968 | 子類 鹽 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1772-1772 | 子類 Chlorofluorocarbon and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2001-2001 | 子類 鉻鐵礦 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7437-7437 | 子類 共軛物質 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1468-1468 | 子類 芋螺毒素 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2627-2627 | 子類 DDT and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 81-81 | 子類 非法藥物 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5956-5956 | 子類 鐵礦 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4296-4296 | 子類 IronOxide and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15765-15765 | 子類 Molecule and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2022-2022 | 子類 天然氣 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7270-7270 | 子類 NitricOxide and CompoundSubstance |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7458-7458 | 域 共軛, 1 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7459-7459 | 域 共軛, 2 and CompoundSubstance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23361-23361 | 域子類 molecularRatio, 3 and CompoundSubstance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23363-23377 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 525-534 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12668-12674 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12632-12638 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12640-12650 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7441-7451 | 例 Entity and 共軛物質 Object Object and Process 例 Object and CompoundSubstance 例 Object and CompoundSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12652-12661 |
|
|
|