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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CompoundSubstance

Sigma KEE - CompoundSubstance
CompoundSubstanceoperon, operón, aceptor, aduto, aldehido, radical etanoilo, grupo acetilo, grupo etanoilo, acetilo, composto alifático, alquilbenceno, haloxenuro de alquilo, haluro de alquilo, haloalcano, diamina, enol, arseniato, arseniuro, clorato, hipoclorito, pirogalol, ácido pirogálico, alquilo, grupo alquilo, radical alquilo, grupo alilo, alilo, radical alilo, aminometano, composto aniónico, deterxente non iónico, aniónico, deterxente aniónico, composto binario, quelato, composto de quelato, halón, grupo azido, radical azido, grupo azo, radical azo, barita, hidróxido de bario, monóxido de bario, protóxido de bario, barita calcinada, óxido de bario, dióxido de bario, peróxido de bario, pares de base, taurina, cromóxeno, lecitina, monómero, ozónido, perclorato, trímero etanal, paraldehido, pentóxido, peptona, catión de amonio cuaternario, sal de amonio cuaternario, zimóxeno, proenzima, piridina, éter, desnaturante, etilo, radical etilo, grupo etilo, acetal, acetaldol, acetaldehido, etanal, aldehido acético...

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


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

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


(instance OzoneShield CompoundSubstance) Geography.kif 2701-2701
(instance Permafrost CompoundSubstance) Geography.kif 2358-2358
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1103-1103
(subclass Alumina CompoundSubstance) Economy.kif 4488-4488
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 19458-19458
(subclass Barite CompoundSubstance) Geography.kif 1934-1934
(subclass CarbonDioxide CompoundSubstance) Food.kif 886-886
(subclass Cement CompoundSubstance) Economy.kif 4806-4806
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8398-8398
(subclass ChemicalAgent CompoundSubstance) WMD.kif 440-440
(subclass ChemicalArtifact CompoundSubstance) Society.kif 1385-1385
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8414-8414
(subclass ChemicalProduct CompoundSubstance) Economy.kif 4701-4701
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8418-8418
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1783-1783
(subclass Chromite CompoundSubstance) Geography.kif 1951-1951
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6163-6163
(subclass Conotoxin CompoundSubstance) WMD.kif 1354-1354
(subclass DDT CompoundSubstance) Geography.kif 2568-2568
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81
(subclass IronOre CompoundSubstance) Economy.kif 4506-4506
(subclass Molecule CompoundSubstance) Merge.kif 15731-15731
(subclass NaturalGas CompoundSubstance) Geography.kif 1972-1972
(subclass NitricOxide CompoundSubstance) Geography.kif 6554-6554
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 6579-6579

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 2 CompoundSubstance) Mid-level-ontology.kif 6184-6184
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1765-1765

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 12391-12401
(=>
    (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 12410-12416
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12383-12389

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


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