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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CompoundSubstance
CompoundSubstance(compound substance)1-dodecanol, 2-hydroxybenzoic_acid, A, Agene, C, CO, Chinese_white, DEAE_cellulose, Epsom_salts, G, Glauber's_salt, Glauber's_salts, HFC, K-Dur_20, K-lor, K-lyte, Kaochlor, Kekule_formula, Klorvess, NAD, Nitrospan, Nitrostat, PFC, SLS, T, TCE, U, U308, acceptor, acetal, acetaldehyde, acetaldol, acetamide, acetic, acetic_anhydride, acetoacetic_acid, acetone_body, acetyl, acetyl_group, acetyl_radical, acid_anhydrides, acid_halide, acrolein, acrylamide, acrylate, acrylic_acid, acrylonitrile, acyl_anhydrides, acyl_halide, acylglycerol...

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 1167-1173
(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 1166-1166 Compound substance is a subclass of pure substance

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


(instance OzoneShield CompoundSubstance) Geography.kif 2761-2761 Ozone shield is an instance of compound substance
(instance Permafrost CompoundSubstance) Geography.kif 2417-2417 Permafrost is an instance of compound substance
(partition PureSubstance CompoundSubstance ElementalSubstance) Merge.kif 1078-1078 Pure substance is exhaustively partitioned into compound substance and elemental substance
(subclass Alumina CompoundSubstance) Economy.kif 5820-5820 Alumina is a subclass of compound substance
(subclass AtomicGroup CompoundSubstance) Mid-level-ontology.kif 22844-22844 Atomic group is a subclass of compound substance
(subclass Barite CompoundSubstance) Geography.kif 1984-1984 Barite is a subclass of compound substance
(subclass Carbohydrate CompoundSubstance) Merge.kif 14773-14773 Carbohydrate is a subclass of compound substance
(subclass CarbonDioxide CompoundSubstance) Food.kif 3409-3409 Carbon dioxide is a subclass of compound substance
(subclass Cement CompoundSubstance) Economy.kif 6131-6131 Cement is a subclass of compound substance
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 9494-9494 Chemical acid is a subclass of compound substance
(subclass ChemicalAgent CompoundSubstance) WMD.kif 445-445 Chemical agent is a subclass of compound substance
(subclass ChemicalBase CompoundSubstance) Mid-level-ontology.kif 9511-9511 Chemical base is a subclass of compound substance
(subclass ChemicalProduct CompoundSubstance) Economy.kif 6026-6026 Chemical product is a subclass of compound substance
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 9515-9515 Salt is a subclass of compound substance
(subclass Chlorofluorocarbon CompoundSubstance) Cars.kif 1772-1772 Chlorofluorocarbon is a subclass of compound substance
(subclass Chromite CompoundSubstance) Geography.kif 2001-2001 Chromite is a subclass of compound substance
(subclass ConjugatedSubstance CompoundSubstance) Mid-level-ontology.kif 7023-7023 Conjugated substance is a subclass of compound substance
(subclass Conotoxin CompoundSubstance) WMD.kif 1468-1468 Conotoxin is a subclass of compound substance
(subclass DDT CompoundSubstance) Geography.kif 2627-2627 DDT is a subclass of compound substance
(subclass IllicitDrug CompoundSubstance) TransnationalIssues.kif 81-81 Illicit drug is a subclass of compound substance
(subclass IronOre CompoundSubstance) Economy.kif 5831-5831 Iron ore is a subclass of compound substance
(subclass IronOxide CompoundSubstance) Transportation.kif 4296-4296 Iron oxide is a subclass of compound substance
(subclass Molecule CompoundSubstance) Merge.kif 15735-15735 Molecule is a subclass of compound substance
(subclass NaturalGas CompoundSubstance) Geography.kif 2022-2022 Natural gas is a subclass of compound substance
(subclass NitricOxide CompoundSubstance) Geography.kif 7269-7269 Nitric oxide is a subclass of compound substance

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 7044-7044 The number 1 argument of conjugate is an instance of compound substance
(domain conjugate 2 CompoundSubstance) Mid-level-ontology.kif 7045-7045 The number 2 argument of conjugate is an instance of compound substance
(domainSubclass molecularRatio 3 CompoundSubstance) Mid-level-ontology.kif 22826-22826 The number 3 argument of molecular ratio is a subclass of compound substance

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 22828-22842
(=>
    (and
        (instance ?P ThreeDPrinting)
        (instance ?X CompoundSubstance)
        (patient ?P ?X))
    (exists (?SC)
        (and
            (instance ?SC ShapeChange)
            (subProcess ?SC ?P)
            (patient ?SC ?X))))
QoSontology.kif 525-534
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 CompoundSubstance)
        (instance ?SUBSTANCE2 ElementalSubstance))
    (instance ?PROC ChemicalDecomposition))
Merge.kif 12638-12644
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 12602-12608
(=>
    (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 12610-12620

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 7027-7037 An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
(=>
    (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 12622-12631


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