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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CompoundSubstance

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. ; Here! Removed extraneous comma. 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 1095-1101
(subclass CompoundSubstance PureSubstance) Merge.kif 1094-1094 subclass CompoundSubstance and PureSubstance

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


(instance OzoneShield CompoundSubstance) Geography.kif 2735-2735 instance OzoneShield and CompoundSubstance
(instance Permafrost CompoundSubstance) Geography.kif 2391-2391 instance Permafrost and CompoundSubstance
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1006-1006 partition PureSubstance, CompoundSubstance and ElementalSubstance
(subclass Alumina CompoundSubstance) Economy.kif 4488-4488 subclass Alumina and CompoundSubstance
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 18203-18203 subclass AtomicGroup and CompoundSubstance
(subclass Barite CompoundSubstance) Geography.kif 1967-1967 subclass Barite and CompoundSubstance
(subclass CarbonDioxide CompoundSubstance) Food.kif 844-844 subclass CarbonDioxide and CompoundSubstance
(subclass Cement CompoundSubstance) Economy.kif 4806-4806 subclass Cement and CompoundSubstance
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 7566-7566 subclass ChemicalAcid and CompoundSubstance
(subclass ChemicalAgent CompoundSubstance) WMD.kif 440-440 subclass ChemicalAgent and CompoundSubstance
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 7583-7583 subclass ChemicalBase and CompoundSubstance
(subclass ChemicalProduct CompoundSubstance) Economy.kif 4701-4701 subclass ChemicalProduct and CompoundSubstance
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 7587-7587 subclass ChemicalSalt and CompoundSubstance
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1802-1802 subclass Chlorofluorocarbon and CompoundSubstance
(subclass Chromite CompoundSubstance) Geography.kif 1984-1984 subclass Chromite and CompoundSubstance
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 5569-5569 subclass ConjugatedSubstance and CompoundSubstance
(subclass Conotoxin CompoundSubstance) WMD.kif 1404-1404 subclass Conotoxin and CompoundSubstance
(subclass DDT CompoundSubstance) Geography.kif 2601-2601 subclass DDT and CompoundSubstance
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 subclass IllicitDrug and CompoundSubstance
(subclass IronOre CompoundSubstance) Economy.kif 4506-4506 subclass IronOre and CompoundSubstance
(subclass Molecule CompoundSubstance) Merge.kif 14545-14545 subclass Molecule and CompoundSubstance
(subclass NaturalGas CompoundSubstance) Geography.kif 2005-2005 subclass NaturalGas and CompoundSubstance
(subclass NitricOxide CompoundSubstance) Geography.kif 6731-6731 subclass NitricOxide and CompoundSubstance
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 6756-6756 subclass NitrogenDioxide and CompoundSubstance
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 7448-7448 subclass OrganicCompound and CompoundSubstance

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 5589-5589 domain conjugate, 1 and CompoundSubstance
(domain conjugate 2 CompoundSubstance) Mid-level-ontology.kif 5590-5590 domain conjugate, 2 and CompoundSubstance
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1784-1784 domainSubclass molecularRatio, 3 and CompoundSubstance

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 11654-11664 instance Entity and CompoundSubstance Object Object and Process instance Object and ElementalSubstance instance Object and ElementalSubstance equal Object and Object instance Process and ChemicalSynthesis resource Process and Object resource Process and Object result Process and Entity
(=>
    (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 1786-1800
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 11671-11677
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 11646-11652

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 5572-5582 instance Entity and ConjugatedSubstance Object Object and Process instance Object and CompoundSubstance instance Object and CompoundSubstance equal Object and Object instance Process and ChemicalSynthesis resource Process and Object resource Process and Object result Process and Entity


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 3.0 is open source software produced by Articulate Software and its partners