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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CompoundSubstance
CompoundSubstance

appearance as argument number 1
-------------------------


(documentation CompoundSubstance ChineseLanguage "这个 Substance Class ,以确定的重量比例 ,拥有两个或以上元素 (ElementalSubstance)。不管事用什麽方法提炼,纯复合物的成分保持不变。复合物由 超过一中原子(元素)组成。分子这个术语通常用来识别哪些仍然保留化合物所有性质的最小单元。例如:食盐 (氯化钠,NaCl)、糖(蔗糖,C_{12}H_{22}O_{11})、水(H_2O)。") chinese_format.kif 1617-1620
(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 1132-1138
(subclass CompoundSubstance PureSubstance) Merge.kif 1131-1131

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


(instance OzoneShield CompoundSubstance) Geography.kif 2776-2776
(instance Permafrost CompoundSubstance) Geography.kif 2432-2432
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1043-1043
(subclass Alumina CompoundSubstance) Economy.kif 4641-4641
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 21212-21212
(subclass Barite CompoundSubstance) Geography.kif 1999-1999
(subclass CarbonDioxide CompoundSubstance) Food.kif 826-826
(subclass Cement CompoundSubstance) Economy.kif 4964-4964
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8328-8328
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8345-8345
(subclass ChemicalProduct CompoundSubstance) Economy.kif 4859-4859
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8349-8349
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1788-1788
(subclass Chromite CompoundSubstance) Geography.kif 2016-2016
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6147-6147
(subclass Conotoxin CompoundSubstance) WMD.kif 1459-1459
(subclass DDT CompoundSubstance) Geography.kif 2642-2642
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81
(subclass IronOre CompoundSubstance) Economy.kif 4664-4664
(subclass Molecule CompoundSubstance) Merge.kif 15395-15395
(subclass NaturalGas CompoundSubstance) Geography.kif 2037-2037
(subclass NitricOxide CompoundSubstance) Geography.kif 6889-6889
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 6914-6914
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8166-8166

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 6168-6168
(domain conjugate 2 CompoundSubstance) Mid-level-ontology.kif 6169-6169
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1770-1770

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


(=>
    (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 1772-1786
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12331-12337
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12295-12301
(=>
    (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 12303-12313

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 6151-6161
(=>
    (and
        (instance ?ELEMENT1 ElementalSubstance)
        (instance ?ELEMENT2 ElementalSubstance)
        (not
            (equal ?ELEMENT1 ?ELEMENT2))
        (instance ?PROCESS ChemicalSynthesis)
        (resource ?PROCESS ?ELEMENT1)
        (resource ?PROCESS ?ELEMENT2)
        (result ?PROCESS ?COMPOUND))
    (instance ?COMPOUND CompoundSubstance))
Merge.kif 12315-12324


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners