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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CompoundSubstance
CompoundSubstance(substance compos�e)

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 1169-1175
(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 1168-1168 Substance compos�e est une sous-classe de substance pure

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


(instance OzoneShield CompoundSubstance) Geography.kif 2761-2761 OzoneShield est une instance de substance compos�e
(instance Permafrost CompoundSubstance) Geography.kif 2417-2417 Permafrost est une instance de substance compos�e
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1080-1080 Substance pure est compl�tement d�compos� en substance compos�e + substance �l�mentaire
(subclass Alumina CompoundSubstance) Economy.kif 5952-5952 Alumina est une sous-classe de substance compos�e
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 23372-23372 AtomicGroup est une sous-classe de substance compos�e
(subclass Barite CompoundSubstance) Geography.kif 1984-1984 Barite est une sous-classe de substance compos�e
(subclass Carbohydrate CompoundSubstance) Merge.kif 14837-14837 Hydrate de carbone est une sous-classe de substance compos�e
(subclass CarbonDioxide CompoundSubstance) Food.kif 3416-3416 CarbonDioxide est une sous-classe de substance compos�e
(subclass Cement CompoundSubstance) Economy.kif 6319-6319 Cement est une sous-classe de substance compos�e
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 9927-9927 ChemicalAcid est une sous-classe de substance compos�e
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 ChemicalAgent est une sous-classe de substance compos�e
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 9944-9944 ChemicalBase est une sous-classe de substance compos�e
(subclass ChemicalProduct CompoundSubstance) Economy.kif 6214-6214 ChemicalProduct est une sous-classe de substance compos�e
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 9948-9948 ChemicalSalt est une sous-classe de substance compos�e
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1772-1772 Chlorofluorocarbon est une sous-classe de substance compos�e
(subclass Chromite CompoundSubstance) Geography.kif 2001-2001 Chromite est une sous-classe de substance compos�e
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 7411-7411 ConjugatedSubstance est une sous-classe de substance compos�e
(subclass Conotoxin CompoundSubstance) WMD.kif 1468-1468 Conotoxin est une sous-classe de substance compos�e
(subclass DDT CompoundSubstance) Geography.kif 2627-2627 DDT est une sous-classe de substance compos�e
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 IllicitDrug est une sous-classe de substance compos�e
(subclass IronOre CompoundSubstance) Economy.kif 5963-5963 IronOre est une sous-classe de substance compos�e
(subclass IronOxide CompoundSubstance) Transportation.kif 4300-4300 IronOxide est une sous-classe de substance compos�e
(subclass Molecule CompoundSubstance) Merge.kif 15799-15799 Mol�cule est une sous-classe de substance compos�e
(subclass NaturalGas CompoundSubstance) Geography.kif 2022-2022 NaturalGas est une sous-classe de substance compos�e
(subclass NitricOxide CompoundSubstance) Geography.kif 7367-7367 NitricOxide est une sous-classe de substance compos�e

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 7432-7432 Le nombre 1 argument de conjugate est une instance de substance compos�e
(domain conjugate 2 CompoundSubstance) Mid-level-ontology.kif 7433-7433 Le nombre 2 argument de conjugate est une instance de substance compos�e
(domainSubclass molecularRatio 3 CompoundSubstance) Mid-level-ontology.kif 23354-23354 Le nombre 3 argument de molecularRatio est une sous-classe de substance compos�e

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))
Mid-level-ontology.kif 23356-23370
(=>
    (and
        (instance ?P ThreeDPrinting)
        (instance ?X CompoundSubstance)
        (patient ?P ?X))
    (exists (?SC)
        (and
            (instance ?SC ShapeChange)
            (subProcess ?SC ?P)
            (patient ?SC ?X))))
QoSontology.kif 526-535
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12702-12708
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12666-12672
(=>
    (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 12674-12684

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 7415-7425 Entit� est une instance de ConjugatedSubstance objet objet and processus objet est une instance de substance compos�e objet est une instance de substance compos�e objet est objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une resource pour processus entit� est le resultat de processus
(=>
    (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 12686-12695


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