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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - molecularRatio
molecularRatio

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


(documentation molecularRatio EnglishLanguage "The number of molecules of a particular ElementalSubstance in a given CompoundSubstance.") Mid-level-ontology.kif 21760-21761
(domain molecularRatio 2 Integer) Mid-level-ontology.kif 21763-21763 O argumento numero 2 de molecularRatio e' uma instancia de Numero Inteiro
(domainSubclass molecularRatio 1 ElementalSubstance) Mid-level-ontology.kif 21762-21762 O argumento numero 1 de molecularRatio e' uma sub-classe de Substancia Elementar
(domainSubclass molecularRatio 3 CompoundSubstance) Mid-level-ontology.kif 21764-21764 O argumento numero 3 de molecularRatio e' uma sub-classe de Substancia Composta
(instance molecularRatio TernaryPredicate) Mid-level-ontology.kif 21757-21757 molecularRatio e' uma instancia de Predicado Ternario

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


(format EnglishLanguage molecularRatio "the number of molecules of %1 in a molecule of %3 is %n %2") Mid-level-ontology.kif 21758-21759
(termFormat EnglishLanguage molecularRatio "molecular ratio") domainEnglishFormat.kif 65882-65882

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 21766-21780

appearance as argument number 0
-------------------------


(molecularRatio Calcium 1 CalciumChloride) Medicine.kif 5866-5866 molecularRatio Calcium, 1 and CalciumChloride
(molecularRatio Carbon 1 Freon12) Cars.kif 1787-1787 molecularRatio Carbon, 1 and Freon12
(molecularRatio Carbon 3 SodiumLactate) Medicine.kif 5877-5877 molecularRatio Carbon, 3 and SodiumLactate
(molecularRatio Chlorine 1 PotassiumChloride) Medicine.kif 5872-5872 molecularRatio Chlorine, 1 and PotassiumChloride
(molecularRatio Chlorine 1 SodiumChloride) Medicine.kif 5868-5868 molecularRatio Chlorine, 1 and SodiumChloride
(molecularRatio Chlorine 2 CalciumChloride) Medicine.kif 5865-5865 molecularRatio Chlorine, 2 and CalciumChloride
(molecularRatio Chlorine 2 Freon12) Cars.kif 1788-1788 molecularRatio Chlorine, 2 and Freon12
(molecularRatio Fluorine 2 Freon12) Cars.kif 1789-1789 molecularRatio Fluorine, 2 and Freon12
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2474-2474 molecularRatio Hydrogen, 2 and SulfuricAcid
(molecularRatio Hydrogen 5 SodiumLactate) Medicine.kif 5878-5878 molecularRatio Hydrogen, 5 and SodiumLactate
(molecularRatio Nitrogen 1 NitricOxide) Geography.kif 7213-7213 molecularRatio Nitrogen, 1 and NitricOxide
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 7238-7238 molecularRatio Nitrogen, 1 and NitrogenDioxide
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 7214-7214 molecularRatio Oxygen, 1 and NitricOxide
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 7239-7239 molecularRatio Oxygen, 2 and NitrogenDioxide
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 7179-7179 molecularRatio Oxygen, 2 and SulphurDioxide
(molecularRatio Oxygen 3 SodiumLactate) Medicine.kif 5879-5879 molecularRatio Oxygen, 3 and SodiumLactate
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2476-2476 molecularRatio Oxygen, 4 and SulfuricAcid
(molecularRatio Potassium 1 PotassiumChloride) Medicine.kif 5873-5873 molecularRatio Potassium, 1 and PotassiumChloride
(molecularRatio Sodium 1 SodiumChloride) Medicine.kif 5869-5869 molecularRatio Sodium, 1 and SodiumChloride
(molecularRatio Sodium 1 SodiumLactate) Medicine.kif 5876-5876 molecularRatio Sodium, 1 and SodiumLactate
(molecularRatio Sulphur 1 SulfuricAcid) Cars.kif 2475-2475 molecularRatio Sulphur, 1 and SulfuricAcid
(molecularRatio Sulphur 1 SulphurDioxide) Geography.kif 7178-7178 molecularRatio Sulphur, 1 and SulphurDioxide


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