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
(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 6535-6535
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 6560-6560
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 6536-6536
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 6561-6561
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 6501-6501
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2479-2479
(molecularRatio Sulphur 1 SulfuricAcid) Cars.kif 2478-2478
(molecularRatio Sulphur 1 SulphurDioxide) Geography.kif 6500-6500


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