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 1802-1803
(domain molecularRatio 2 Integer) Cars.kif 1805-1805
(domainSubclass molecularRatio 1 ElementalSubstance) Cars.kif 1804-1804
(domainSubclass molecularRatio 3 CompoundSubstance) Cars.kif 1806-1806
(instance molecularRatio TernaryRelation) Cars.kif 1799-1799

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


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

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 1808-1822

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


(molecularRatio Carbon 1 Freon12) Cars.kif 1840-1840
(molecularRatio Chlorine 2 Freon12) Cars.kif 1841-1841
(molecularRatio Fluorine 2 Freon12) Cars.kif 1842-1842
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2518-2518
(molecularRatio Nitrogen 1 NitricOxide) Geography.kif 6566-6566
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 6591-6591
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 6567-6567
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 6592-6592
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 6532-6532
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2520-2520
(molecularRatio Sulphur 1 SulfuricAcid) Cars.kif 2519-2519
(molecularRatio Sulphur 1 SulphurDioxide) Geography.kif 6531-6531


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners