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
(domainSubclass molecularRatio 1 ElementalSubstance) Mid-level-ontology.kif 21762-21762
(domainSubclass molecularRatio 3 CompoundSubstance) Mid-level-ontology.kif 21764-21764
(instance molecularRatio TernaryPredicate) Mid-level-ontology.kif 21757-21757

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


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