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.") Cars.kif 1766-1767
(domain molecularRatio 2 Integer) Cars.kif 1769-1769 molecularRatio の数値 2 引数は 整数instance では %n
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1768-1768 molecularRatio の数値 1 引数は 単体subclass では %n
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1770-1770 molecularRatio の数値 3 引数は 合成物質subclass では %n
(instance molecularRatio TernaryPredicate) Cars.kif 1763-1763 molecularRatio3進述語instance では %n

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


(format EnglishLanguage molecularRatio "the number of molecules of %1 in a molecule of %3 is %n %2") Cars.kif 1764-1765
(termFormat EnglishLanguage molecularRatio "molecular ratio") domainEnglishFormat.kif 65880-65880

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

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


(molecularRatio Calcium 1 CalciumChloride) Medicine.kif 5866-5866 molecularRatio Calcium, 1 and CalciumChloride
(molecularRatio Carbon 1 Freon12) Cars.kif 1804-1804 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 1805-1805 molecularRatio Chlorine, 2 and Freon12
(molecularRatio Fluorine 2 Freon12) Cars.kif 1806-1806 molecularRatio Fluorine, 2 and Freon12
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2491-2491 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 2493-2493 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 2492-2492 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