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)。") 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 subclass 合成物質 and 純物質

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


(instance OzoneShield CompoundSubstance) Geography.kif 2701-2701 instance OzoneShield and 合成物質
(instance Permafrost CompoundSubstance) Geography.kif 2358-2358 instance Permafrost and 合成物質
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1115-1115 partition 純物質, 合成物質 and 単体
(subclass Alumina CompoundSubstance) Economy.kif 4488-4488 subclass Alumina and 合成物質
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 19516-19516 subclass AtomicGroup and 合成物質
(subclass Barite CompoundSubstance) Geography.kif 1934-1934 subclass Barite and 合成物質
(subclass CarbonDioxide CompoundSubstance) Food.kif 886-886 subclass CarbonDioxide and 合成物質
(subclass Cement CompoundSubstance) Economy.kif 4806-4806 subclass Cement and 合成物質
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8398-8398 subclass ChemicalAcid and 合成物質
(subclass ChemicalAgent CompoundSubstance) WMD.kif 440-440 subclass ChemicalAgent and 合成物質
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8414-8414 subclass ChemicalBase and 合成物質
(subclass ChemicalProduct CompoundSubstance) Economy.kif 4701-4701 subclass ChemicalProduct and 合成物質
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8418-8418 subclass ChemicalSalt and 合成物質
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1783-1783 subclass Chlorofluorocarbon and 合成物質
(subclass Chromite CompoundSubstance) Geography.kif 1951-1951 subclass Chromite and 合成物質
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6163-6163 subclass ConjugatedSubstance and 合成物質
(subclass Conotoxin CompoundSubstance) WMD.kif 1354-1354 subclass Conotoxin and 合成物質
(subclass DDT CompoundSubstance) Geography.kif 2568-2568 subclass DDT and 合成物質
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 subclass IllicitDrug and 合成物質
(subclass IronOre CompoundSubstance) Economy.kif 4506-4506 subclass IronOre and 合成物質
(subclass Molecule CompoundSubstance) Merge.kif 15789-15789 subclass 分子 and 合成物質
(subclass NaturalGas CompoundSubstance) Geography.kif 1972-1972 subclass NaturalGas and 合成物質
(subclass NitricOxide CompoundSubstance) Geography.kif 6523-6523 subclass NitricOxide and 合成物質
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 6548-6548 subclass NitrogenDioxide and 合成物質
(subclass OrganicCompound CompoundSubstance) Mid-level-ontology.kif 8282-8282 subclass OrganicCompound and 合成物質

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 domain conjugate, 1 and 合成物質
(domain conjugate 2 CompoundSubstance) Mid-level-ontology.kif 6184-6184 domain conjugate, 2 and 合成物質
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1765-1765 domainSubclass molecularRatio, 3 and 合成物質

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 instance エンティティー and 合成物質 オブジェクト オブジェクト and 工程 instance オブジェクト and 単体 instance オブジェクト and 単体 equal オブジェクト and オブジェクト instance 工程 and 化学合成 resource 工程 and オブジェクト resource 工程 and オブジェクト result 工程 and エンティティー
(=>
    (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 instance エンティティー and ConjugatedSubstance オブジェクト オブジェクト and 工程 instance オブジェクト and 合成物質 instance オブジェクト and 合成物質 equal オブジェクト and オブジェクト instance 工程 and 化学合成 resource 工程 and オブジェクト resource 工程 and オブジェクト result 工程 and エンティティー


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners