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

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 1768-1782

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


(molecularRatio Carbon 1 Freon12) Cars.kif 1800-1800 molecularRatio Carbon, 1 and Freon12
(molecularRatio Chlorine 2 Freon12) Cars.kif 1801-1801 molecularRatio Chlorine, 2 and Freon12
(molecularRatio Fluorine 2 Freon12) Cars.kif 1802-1802 molecularRatio Fluorine, 2 and Freon12
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2478-2478 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 2480-2480 molecularRatio Oxygen, 4 and SulfuricAcid
(molecularRatio Sulphur 1 SulfuricAcid) Cars.kif 2479-2479 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