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.") Cars.kif 1761-1762
(domain molecularRatio 2 Integer) Cars.kif 1764-1764 domain molecularRatio, 2 and Integer
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1763-1763 domainSubclass molecularRatio, 1 and ElementalSubstance
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1765-1765 domainSubclass molecularRatio, 3 and CompoundSubstance
(instance molecularRatio TernaryRelation) Cars.kif 1758-1758 instance molecularRatio and TernaryRelation

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


(format EnglishLanguage molecularRatio "the number of molecules of %1 in a molecule of %3 is %n %2") Cars.kif 1759-1760

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 1767-1781

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


(molecularRatio Carbon 1 Freon12) Cars.kif 1799-1799 molecularRatio Carbon, 1 and Freon12
(molecularRatio Chlorine 2 Freon12) Cars.kif 1800-1800 molecularRatio Chlorine, 2 and Freon12
(molecularRatio Fluorine 2 Freon12) Cars.kif 1801-1801 molecularRatio Fluorine, 2 and Freon12
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2477-2477 molecularRatio Hydrogen, 2 and SulfuricAcid
(molecularRatio Nitrogen 1 NitricOxide) Geography.kif 6551-6551 molecularRatio Nitrogen, 1 and NitricOxide
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 6576-6576 molecularRatio Nitrogen, 1 and NitrogenDioxide
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 6552-6552 molecularRatio Oxygen, 1 and NitricOxide
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 6577-6577 molecularRatio Oxygen, 2 and NitrogenDioxide
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 6517-6517 molecularRatio Oxygen, 2 and SulphurDioxide
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2479-2479 molecularRatio Oxygen, 4 and SulfuricAcid
(molecularRatio Sulphur 1 SulfuricAcid) Cars.kif 2478-2478 molecularRatio Sulphur, 1 and SulfuricAcid
(molecularRatio Sulphur 1 SulphurDioxide) Geography.kif 6516-6516 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners