molecularRatio - Sigma Knowledge base Browser

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

If an object is an instance of a kind of compound substance and a kind of compound substance is a subclass of compound substance and there doesn't exist another object such that the other object is an instance of the kind of compound substance and the other object is a part of the object and the number of molecules of a kind of elemental substance in a molecule of the kind of compound substance is an integer and a collection is an instance of group and a third object is a member of the collection and the third object is a part of the object and the third object is an instance of a kind of elemental substance,
then the integer is a member count of the collection

appearance as argument number 0

(molecularRatio Carbon 1 Freon12)	Cars.kif 1800-1800	The number of molecules of carbon in a molecule of freon-12 is 1
(molecularRatio Chlorine 2 Freon12)	Cars.kif 1801-1801	The number of molecules of chlorine in a molecule of freon-12 is 2
(molecularRatio Fluorine 2 Freon12)	Cars.kif 1802-1802	The number of molecules of fluorine in a molecule of freon-12 is 2
(molecularRatio Hydrogen 2 SulfuricAcid)	Cars.kif 2478-2478	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 2480-2480	The number of molecules of oxygen in a molecule of sulfuric acid is 4
(molecularRatio Sulphur 1 SulfuricAcid)	Cars.kif 2479-2479	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

KB Term:			Term intersection

English Word: