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 1772-1773
(domain molecularRatio 2 Integer) Cars.kif 1775-1775
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1774-1774
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1776-1776
(instance molecularRatio TernaryPredicate) Cars.kif 1769-1769

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


(format EnglishLanguage molecularRatio "the number of molecules of %1 in a molecule of %3 is %n %2") Cars.kif 1770-1771
(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 1778-1792

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


(molecularRatio Calcium 1 CalciumChloride) Medicine.kif 5866-5866
(molecularRatio Carbon 1 Freon12) Cars.kif 1810-1810
(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 1811-1811
(molecularRatio Fluorine 2 Freon12) Cars.kif 1812-1812
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2497-2497
(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 2499-2499
(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 2498-2498
(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