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 The number 2 argument of molecularRatio is an instance of integer
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1763-1763 The number 1 argument of molecularRatio is a subclass of elemental substance
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1765-1765 The number 3 argument of molecularRatio is a subclass of compound substance
(instance molecularRatio TernaryRelation) Cars.kif 1758-1758 molecularRatio is an instance of ternary relation

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 The number of molecules of carbon in a molecule of freon-12 is 1
(molecularRatio Chlorine 2 Freon12) Cars.kif 1800-1800 The number of molecules of chlorine in a molecule of freon-12 is 2
(molecularRatio Fluorine 2 Freon12) Cars.kif 1801-1801 The number of molecules of fluorine in a molecule of freon-12 is 2
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2477-2477 The number of molecules of hydrogen in a molecule of sulfuric acid is 2
(molecularRatio Nitrogen 1 NitricOxide) Geography.kif 6551-6551 The number of molecules of nitrogen in a molecule of nitric oxide is 1
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 6576-6576 The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 6552-6552 The number of molecules of oxygen in a molecule of nitric oxide is 1
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 6577-6577 The number of molecules of oxygen in a molecule of nitrogen dioxide is 2
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 6517-6517 The number of molecules of oxygen in a molecule of sulphur dioxide is 2
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2479-2479 The number of molecules of oxygen in a molecule of sulfuric acid is 4
(molecularRatio Sulphur 1 SulfuricAcid) Cars.kif 2478-2478 The number of molecules of sulphur in a molecule of sulfuric acid is 1
(molecularRatio Sulphur 1 SulphurDioxide) Geography.kif 6516-6516 The number of molecules of sulphur in a molecule of sulphur dioxide is 1


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