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 23350-23351
(domain molecularRatio 2 Integer) Mid-level-ontology.kif 23353-23353 molecularRatio の数値 2 引数は 整数 の instance では
(domainSubclass molecularRatio 1 ElementalSubstance) Mid-level-ontology.kif 23352-23352 molecularRatio の数値 1 引数は 単体 のsubclass では
(domainSubclass molecularRatio 3 CompoundSubstance) Mid-level-ontology.kif 23354-23354 molecularRatio の数値 3 引数は 合成物質 のsubclass では
(instance molecularRatio TernaryPredicate) Mid-level-ontology.kif 23347-23347 molecularRatio は 3進述語 の instance では

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 23348-23349
(termFormat EnglishLanguage molecularRatio "molecular ratio") domainEnglishFormat.kif 65890-65890

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

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


(molecularRatio Calcium 1 CalciumChloride) Medicine.kif 5881-5881 molecularRatio Calcium, 1 and CalciumChloride
(molecularRatio Carbon 1 Freon12) Cars.kif 1788-1788 molecularRatio Carbon, 1 and Freon12
(molecularRatio Carbon 3 SodiumLactate) Medicine.kif 5894-5894 molecularRatio Carbon, 3 and SodiumLactate
(molecularRatio Chlorine 1 PotassiumChloride) Medicine.kif 5888-5888 molecularRatio Chlorine, 1 and PotassiumChloride
(molecularRatio Chlorine 1 SodiumChloride) Medicine.kif 5883-5883 molecularRatio Chlorine, 1 and SodiumChloride
(molecularRatio Chlorine 2 CalciumChloride) Medicine.kif 5880-5880 molecularRatio Chlorine, 2 and CalciumChloride
(molecularRatio Chlorine 2 Freon12) Cars.kif 1789-1789 molecularRatio Chlorine, 2 and Freon12
(molecularRatio Fluorine 2 Freon12) Cars.kif 1790-1790 molecularRatio Fluorine, 2 and Freon12
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2475-2475 molecularRatio Hydrogen, 2 and SulfuricAcid
(molecularRatio Hydrogen 5 SodiumLactate) Medicine.kif 5895-5895 molecularRatio Hydrogen, 5 and SodiumLactate
(molecularRatio Nitrogen 1 NitricOxide) Geography.kif 7550-7550 molecularRatio Nitrogen, 1 and NitricOxide
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 7575-7575 molecularRatio Nitrogen, 1 and NitrogenDioxide
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 7551-7551 molecularRatio Oxygen, 1 and NitricOxide
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 7576-7576 molecularRatio Oxygen, 2 and NitrogenDioxide
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 7516-7516 molecularRatio Oxygen, 2 and SulphurDioxide
(molecularRatio Oxygen 3 SodiumLactate) Medicine.kif 5896-5896 molecularRatio Oxygen, 3 and SodiumLactate
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2477-2477 molecularRatio Oxygen, 4 and SulfuricAcid
(molecularRatio Potassium 1 PotassiumChloride) Medicine.kif 5889-5889 molecularRatio Potassium, 1 and PotassiumChloride
(molecularRatio Sodium 1 SodiumChloride) Medicine.kif 5884-5884 molecularRatio Sodium, 1 and SodiumChloride
(molecularRatio Sodium 1 SodiumLactate) Medicine.kif 5893-5893 molecularRatio Sodium, 1 and SodiumLactate
(molecularRatio Sulphur 1 SulfuricAcid) Cars.kif 2476-2476 molecularRatio Sulphur, 1 and SulfuricAcid
(molecularRatio Sulphur 1 SulphurDioxide) Geography.kif 7515-7515 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