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

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 Chlorine 2 Freon12) Cars.kif 1800-1800
(molecularRatio Fluorine 2 Freon12) Cars.kif 1801-1801
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2477-2477
(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 2479-2479
(molecularRatio Sulphur 1 SulfuricAcid) Cars.kif 2478-2478
(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