Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CompoundSubstance

Sigma KEE - CompoundSubstance
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
-------------------------


(documentation CompoundSubstance ChineseLanguage "这个 Substance Class ,以确定的重量比例 ,拥有两个或以上元素 (ElementalSubstance)。不管事用什麽方法提炼,纯复合物的成分保持不变。复合物由 超过一中原子(元素)组成。分子这个术语通常用来识别哪些仍然保留化合物所有性质的最小单元。例如:食盐 (氯化钠,NaCl)、糖(蔗糖,C_{12}H_{22}O_{11})、水(H_2O)。") Merge.kif 1228-1231
(documentation CompoundSubstance EnglishLanguage "The Class of Substances that contain two or more elements (ElementalSubstances), in definite proportion by weight. The composition of a pure compound will be invariant, regardless of the method of preparation. Compounds are composed of more than one kind of atom (element). The term molecule is often used for the smallest unit of a compound that still retains all of the properties of the compound. Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), and water (H_2O). ") Merge.kif 1221-1227
(subclass CompoundSubstance PureSubstance) Merge.kif 1220-1220 Compound substance is a subclass of pure substance

appearance as argument number 2
-------------------------


(instance OzoneShield CompoundSubstance) Geography.kif 2701-2701 Ozone shield is an instance of compound substance
(instance Permafrost CompoundSubstance) Geography.kif 2358-2358 Permafrost is an instance of compound substance
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1115-1115 Pure substance is exhaustively partitioned into compound substance and elemental substance
(subclass Alumina CompoundSubstance) Economy.kif 4488-4488 Alumina is a subclass of compound substance
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 19516-19516 Atomic group is a subclass of compound substance
(subclass Barite CompoundSubstance) Geography.kif 1934-1934 Barite is a subclass of compound substance
(subclass CarbonDioxide CompoundSubstance) Food.kif 886-886 CarbonDioxide is a subclass of compound substance
(subclass Cement CompoundSubstance) Economy.kif 4806-4806 Cement is a subclass of compound substance
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8398-8398 Chemical acid is a subclass of compound substance
(subclass ChemicalAgent CompoundSubstance) WMD.kif 440-440 Chemical agent is a subclass of compound substance
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8414-8414 Chemical base is a subclass of compound substance
(subclass ChemicalProduct CompoundSubstance) Economy.kif 4701-4701 Chemical product is a subclass of compound substance
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8418-8418 Salt is a subclass of compound substance
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1783-1783 Chlorofluorocarbon is a subclass of compound substance
(subclass Chromite CompoundSubstance) Geography.kif 1951-1951 Chromite is a subclass of compound substance
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6163-6163 Conjugated substance is a subclass of compound substance
(subclass Conotoxin CompoundSubstance) WMD.kif 1354-1354 Conotoxin is a subclass of compound substance
(subclass DDT CompoundSubstance) Geography.kif 2568-2568 DD t is a subclass of compound substance
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 Illicit drug is a subclass of compound substance
(subclass IronOre CompoundSubstance) Economy.kif 4506-4506 Iron ore is a subclass of compound substance
(subclass Molecule CompoundSubstance) Merge.kif 15789-15789 Molecule is a subclass of compound substance
(subclass NaturalGas CompoundSubstance) Geography.kif 1972-1972 Natural gas is a subclass of compound substance
(subclass NitricOxide CompoundSubstance) Geography.kif 6523-6523 Nitric oxide is a subclass of compound substance
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 6548-6548 Nitrogen dioxide is a subclass of compound substance
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8282-8282 Organic compound 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
-------------------------


(domain conjugate 1 CompoundSubstance) Mid-level-ontology.kif 6183-6183 The number 1 argument of conjugate is an instance of compound substance
(domain conjugate 2 CompoundSubstance) Mid-level-ontology.kif 6184-6184 The number 2 argument of conjugate is an instance of compound substance
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1765-1765 The number 3 argument of molecularRatio is a subclass of compound substance

antecedent
-------------------------


(<=>
    (instance ?COMPOUND CompoundSubstance)
    (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS)
        (and
            (instance ?ELEMENT1 ElementalSubstance)
            (instance ?ELEMENT2 ElementalSubstance)
            (not
                (equal ?ELEMENT1 ?ELEMENT2))
            (instance ?PROCESS ChemicalSynthesis)
            (resource ?PROCESS ?ELEMENT1)
            (resource ?PROCESS ?ELEMENT2)
            (result ?PROCESS ?COMPOUND))))
Merge.kif 12449-12459 An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
(=>
    (and
        (instance ?CS1 ?CLASS)
        (subclass ?CLASS CompoundSubstance)
        (not
            (exists (?CS2)
                (and
                    (instance ?CS2 ?CLASS)
                    (part ?CS2 ?CS1))))
        (molecularRatio ?ECLASS ?N ?CLASS)
        (instance ?G Group)
        (member ?E ?G)
        (part ?E ?CS1)
        (instance ?E ?ECLASS))
    (memberCount ?G ?N))
Cars.kif 1767-1781
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12468-12474
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12441-12447

consequent
-------------------------


(<=>
    (instance ?CS ConjugatedSubstance)
    (exists (?C1 ?C2 ?P)
        (and
            (instance ?C1 CompoundSubstance)
            (instance ?C2 CompoundSubstance)
            (not
                (equal ?C1 ?C2))
            (instance ?P ChemicalSynthesis)
            (resource ?P ?C1)
            (resource ?P ?C2)
            (result ?P ?CS))))
Mid-level-ontology.kif 6166-6176 An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners