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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CompoundSubstance
CompoundSubstance(Substancia Composta)

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 1174-1180
(documentation CompoundSubstance JapaneseLanguage "重量で明確な割合で、2つ以上の要素 (ElementalSubstances) を含む Substances の Class 。 準備の方法に関係なく、純粋な化合 物の組成は不変である。 化合物は、複数の種類の原子(要素)で構成される。 分子という用語は、多くの 場合、化合物の最小単位に使用され化合物のすべてのプロパティを保持する。例:食卓塩(ナトリウム 塩化物、NaCl)、砂糖(蔗糖、C_ {12} H_ {22} O_ {11})、および水(H_2O)。") japanese_format.kif 197-201
(documentation CompoundSubstance SpanishLanguage "La Class de Substances que contiene dos o más elementos (ElementalSubstances) en proporción definitiva por peso. La composición de un compuesto no varía independientemente del método de preparación. Los compuestos se componen de más de un tipo de átomo (elemento). El término, «molécula» se usa muchas veces como la unidad más pequeña que todavía retiene todas las propiedades del compuesto. Por ejemplo la sal común, (cloruro de sodio, NaCl), azúcar (sacarosa, C_{12}H_{22}O_{11}) y el agua (H_2O).") spanish_format.kif 233-239
(subclass CompoundSubstance PureSubstance) Merge.kif 1173-1173 Substancia Composta e' uma sub-classe de Substancia Pura

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


(instance OzoneShield CompoundSubstance) Geography.kif 2773-2773 OzoneShield e' uma instancia de Substancia Composta
(instance Permafrost CompoundSubstance) Geography.kif 2429-2429 Permafrost e' uma instancia de Substancia Composta
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1085-1085 O conceito Substancia Pura e' completamente decomposto em Substancia Composta + Substancia Elementar
(subclass Alumina CompoundSubstance) Economy.kif 5610-5610 Alumina e' uma sub-classe de Substancia Composta
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 21730-21730 AtomicGroup e' uma sub-classe de Substancia Composta
(subclass Barite CompoundSubstance) Geography.kif 1996-1996 Barite e' uma sub-classe de Substancia Composta
(subclass Carbohydrate CompoundSubstance) Merge.kif 14699-14699 Carbohidrato e' uma sub-classe de Substancia Composta
(subclass CarbonDioxide CompoundSubstance) Food.kif 3409-3409 CarbonDioxide e' uma sub-classe de Substancia Composta
(subclass Cement CompoundSubstance) Economy.kif 5921-5921 Cement e' uma sub-classe de Substancia Composta
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8721-8721 ChemicalAcid e' uma sub-classe de Substancia Composta
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 ChemicalAgent e' uma sub-classe de Substancia Composta
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 8738-8738 ChemicalBase e' uma sub-classe de Substancia Composta
(subclass ChemicalProduct CompoundSubstance) Economy.kif 5816-5816 ChemicalProduct e' uma sub-classe de Substancia Composta
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8742-8742 ChemicalSalt e' uma sub-classe de Substancia Composta
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1788-1788 Chlorofluorocarbon e' uma sub-classe de Substancia Composta
(subclass Chromite CompoundSubstance) Geography.kif 2013-2013 Chromite e' uma sub-classe de Substancia Composta
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 6474-6474 ConjugatedSubstance e' uma sub-classe de Substancia Composta
(subclass Conotoxin CompoundSubstance) WMD.kif 1468-1468 Conotoxin e' uma sub-classe de Substancia Composta
(subclass DDT CompoundSubstance) Geography.kif 2639-2639 DDT e' uma sub-classe de Substancia Composta
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 IllicitDrug e' uma sub-classe de Substancia Composta
(subclass IronOre CompoundSubstance) Economy.kif 5621-5621 IronOre e' uma sub-classe de Substancia Composta
(subclass Molecule CompoundSubstance) Merge.kif 15664-15664 Molecula e' uma sub-classe de Substancia Composta
(subclass NaturalGas CompoundSubstance) Geography.kif 2034-2034 NaturalGas e' uma sub-classe de Substancia Composta
(subclass NitricOxide CompoundSubstance) Geography.kif 7201-7201 NitricOxide e' uma sub-classe de Substancia Composta
(subclass NitrogenDioxide CompoundSubstance) Geography.kif 7226-7226 NitrogenDioxide e' uma sub-classe de Substancia Composta

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 6495-6495 O argumento numero 1 de conjugate e' uma instancia de Substancia Composta
(domain conjugate 2 CompoundSubstance) Mid-level-ontology.kif 6496-6496 O argumento numero 2 de conjugate e' uma instancia de Substancia Composta
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1770-1770 O argumento numero 3 de molecularRatio e' uma sub-classe de Substancia Composta

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 12563-12569
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12527-12533
(=>
    (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 12535-12545

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 6478-6488 Entidade e' uma instancia de ConjugatedSubstance Objeto Objeto and Processo Objeto e' uma instancia de Substancia Composta Objeto e' uma instancia de Substancia Composta Objeto e' igual a Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' um recurso para Processo Entidade e' o resultado de Processo
(=>
    (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 12547-12556


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