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

Formal Language: 



KB Term:  Term intersection
English Word: 

  molecularRatio

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
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1768-1768
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1770-1770
(instance molecularRatio TernaryPredicate) Cars.kif 1763-1763

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 Carbon 1 Freon12) Cars.kif 1804-1804
(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 1805-1805
(molecularRatio Fluorine 2 Freon12) Cars.kif 1806-1806
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2491-2491
(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 2493-2493
(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 2492-2492
(molecularRatio Sulphur 1 SulphurDioxide) Geography.kif 7178-7178


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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