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 域 molecularRatio, 2 and Integer
(domainSubclass molecularRatio 1 ElementalSubstance) Mid-level-ontology.kif 21762-21762 域子類 molecularRatio, 1 and ElementalSubstance
(domainSubclass molecularRatio 3 CompoundSubstance) Mid-level-ontology.kif 21764-21764 域子類 molecularRatio, 3 and CompoundSubstance
(instance molecularRatio TernaryPredicate) Mid-level-ontology.kif 21757-21757 例 molecularRatio and TernaryPredicate

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 鈣, 1 and CalciumChloride
(molecularRatio Carbon 1 Freon12) Cars.kif 1787-1787 molecularRatio 碳, 1 and Freon12
(molecularRatio Carbon 3 SodiumLactate) Medicine.kif 5877-5877 molecularRatio 碳, 3 and SodiumLactate
(molecularRatio Chlorine 1 PotassiumChloride) Medicine.kif 5872-5872 molecularRatio 氯, 1 and PotassiumChloride
(molecularRatio Chlorine 1 SodiumChloride) Medicine.kif 5868-5868 molecularRatio 氯, 1 and 鹽
(molecularRatio Chlorine 2 CalciumChloride) Medicine.kif 5865-5865 molecularRatio 氯, 2 and CalciumChloride
(molecularRatio Chlorine 2 Freon12) Cars.kif 1788-1788 molecularRatio 氯, 2 and Freon12
(molecularRatio Fluorine 2 Freon12) Cars.kif 1789-1789 molecularRatio 氟, 2 and Freon12
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2474-2474 molecularRatio 氫, 2 and SulfuricAcid
(molecularRatio Hydrogen 5 SodiumLactate) Medicine.kif 5878-5878 molecularRatio 氫, 5 and SodiumLactate
(molecularRatio Nitrogen 1 NitricOxide) Geography.kif 7213-7213 molecularRatio 氮, 1 and NitricOxide
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 7238-7238 molecularRatio 氮, 1 and NitrogenDioxide
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 7214-7214 molecularRatio 氧, 1 and NitricOxide
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 7239-7239 molecularRatio 氧, 2 and NitrogenDioxide
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 7179-7179 molecularRatio 氧, 2 and SulphurDioxide
(molecularRatio Oxygen 3 SodiumLactate) Medicine.kif 5879-5879 molecularRatio 氧, 3 and SodiumLactate
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2476-2476 molecularRatio 氧, 4 and SulfuricAcid
(molecularRatio Potassium 1 PotassiumChloride) Medicine.kif 5873-5873 molecularRatio 鉀, 1 and PotassiumChloride
(molecularRatio Sodium 1 SodiumChloride) Medicine.kif 5869-5869 molecularRatio 鈉, 1 and 鹽
(molecularRatio Sodium 1 SodiumLactate) Medicine.kif 5876-5876 molecularRatio 鈉, 1 and SodiumLactate
(molecularRatio Sulphur 1 SulfuricAcid) Cars.kif 2475-2475 molecularRatio 硫, 1 and SulfuricAcid
(molecularRatio Sulphur 1 SulphurDioxide) Geography.kif 7178-7178 molecularRatio 硫, 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