| CompoundSubstance(compound substance) | | 1-dodecanol, 2-hydroxybenzoic_acid, A, Agene, C, CO, Chinese_white, DEAE_cellulose, Epsom_salts, G, Glauber's_salt, Glauber's_salts, HFC, K-Dur_20, K-lor, K-lyte, Kaochlor, Kekule_formula, Klorvess, NAD, Nitrospan, Nitrostat, PFC, SLS, T, TCE, U, U308, acceptor, acetal, acetaldehyde, acetaldol, acetamide, acetic, acetic_anhydride, acetoacetic_acid, acetone_body, acetyl, acetyl_group, acetyl_radical, acid_anhydrides, acid_halide, acrolein, acrylamide, acrylate, acrylic_acid, acrylonitrile, acyl_anhydrides, acyl_halide, acylglycerol... |
| 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 1169-1175 | |
| 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 1168-1168 | Compound substance is a subclass of pure substance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2761-2761 | Ozone shield is an instance of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2417-2417 | Permafrost is an instance of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1080-1080 | Pure substance is exhaustively partitioned into compound substance and elemental substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5952-5952 | Alumina is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23372-23372 | Atomic group is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1984-1984 | Barite is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14837-14837 | Carbohydrate is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3416-3416 | Carbon dioxide is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6319-6319 | Cement is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9927-9927 | Chemical acid is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 445-445 | Chemical agent is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9944-9944 | Chemical base is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6214-6214 | Chemical product is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9948-9948 | Salt is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1772-1772 | Chlorofluorocarbon is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2001-2001 | Chromite is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7411-7411 | Conjugated substance is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1468-1468 | Conotoxin is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2627-2627 | DDT is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 81-81 | Illicit drug is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5963-5963 | Iron ore is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4300-4300 | Iron oxide is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15799-15799 | Molecule is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2022-2022 | Natural gas is a subclass of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7367-7367 | Nitric oxide is a subclass of compound substance |
| 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 7432-7432 | The number 1 argument of conjugate is an instance of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7433-7433 | The number 2 argument of conjugate is an instance of compound substance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23354-23354 | The number 3 argument of molecular ratio is a subclass of compound substance |
| antecedent |
|
|
| consequent |
|
|
|
|
|