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 1126-1132
(subclass CompoundSubstance PureSubstance) Merge.kif 1125-1125 复合物质純物质subclass

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


(instance OzoneShield CompoundSubstance) Geography.kif 2776-2776 臭氧盾复合物质instance
(instance Permafrost CompoundSubstance) Geography.kif 2432-2432 永久冻土复合物质instance
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1037-1037 純物质 详尽无遗地 partition复合物质元素物质
(subclass Alumina CompoundSubstance) Economy.kif 4641-4641 矾土复合物质subclass
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 21188-21188 原子团复合物质subclass
(subclass Barite CompoundSubstance) Geography.kif 1999-1999 重晶石复合物质subclass
(subclass CarbonDioxide CompoundSubstance) Food.kif 826-826 CarbonDioxide复合物质subclass
(subclass Cement CompoundSubstance) Economy.kif 4964-4964 水泥复合物质subclass
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8324-8324 化学酸复合物质subclass
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 化学剂复合物质subclass
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8341-8341 化学基地复合物质subclass
(subclass ChemicalProduct CompoundSubstance) Economy.kif 4859-4859 化学产品复合物质subclass
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8345-8345 复合物质subclass
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1788-1788 Chlorofluorocarbon复合物质subclass
(subclass Chromite CompoundSubstance) Geography.kif 2016-2016 铬铁矿复合物质subclass
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6143-6143 共轭物质复合物质subclass
(subclass Conotoxin CompoundSubstance) WMD.kif 1459-1459 芋螺毒素复合物质subclass
(subclass DDT CompoundSubstance) Geography.kif 2642-2642 DDT复合物质subclass
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 非法药物复合物质subclass
(subclass IronOre CompoundSubstance) Economy.kif 4664-4664 铁矿复合物质subclass
(subclass Molecule CompoundSubstance) Merge.kif 15382-15382 分子复合物质subclass
(subclass NaturalGas CompoundSubstance) Geography.kif 2037-2037 天然气复合物质subclass
(subclass NitricOxide CompoundSubstance) Geography.kif 6889-6889 一氧化氮复合物质subclass
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 6914-6914 二氧化氮复合物质subclass
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8162-8162 有机化合物复合物质subclass

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 6164-6164 共轭 的 1 数量 是 复合物质instance
(domain conjugate 2 CompoundSubstance) Mid-level-ontology.kif 6165-6165 共轭 的 2 数量 是 复合物质instance
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1770-1770 molecularRatio 的 3 数量 是 复合物质subclass

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 12325-12331
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12289-12295
(=>
    (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 12297-12307

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 6147-6157 实体共轭物质instance 若且唯若 有存在 客体另一个 客体, and 和 过程 这样 那个 客体复合物质instance那个 另外 客体复合物质instance那个 客体equal 那个 另外 客体那个 过程化学合成instance那个 客体那个 过程resource那个 另外 客体那个 过程resource那个 实体那个 过程result
(=>
    (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 12309-12318


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