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.") Mid-level-ontology.kif 23350-23351
(domain molecularRatio 2 Integer) Mid-level-ontology.kif 23353-23353
(domainSubclass molecularRatio 1 ElementalSubstance) Mid-level-ontology.kif 23352-23352
(domainSubclass molecularRatio 3 CompoundSubstance) Mid-level-ontology.kif 23354-23354
(instance molecularRatio TernaryPredicate) Mid-level-ontology.kif 23347-23347

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


(format EnglishLanguage molecularRatio "the number of molecules of %1 in a molecule of %3 is %n %2") Mid-level-ontology.kif 23348-23349
(termFormat EnglishLanguage molecularRatio "molecular ratio") domainEnglishFormat.kif 65890-65890

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))
Mid-level-ontology.kif 23356-23370

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


(molecularRatio Calcium 1 CalciumChloride) Medicine.kif 5881-5881
(molecularRatio Carbon 1 Freon12) Cars.kif 1788-1788
(molecularRatio Carbon 3 SodiumLactate) Medicine.kif 5894-5894
(molecularRatio Chlorine 1 PotassiumChloride) Medicine.kif 5888-5888
(molecularRatio Chlorine 1 SodiumChloride) Medicine.kif 5883-5883
(molecularRatio Chlorine 2 CalciumChloride) Medicine.kif 5880-5880
(molecularRatio Chlorine 2 Freon12) Cars.kif 1789-1789
(molecularRatio Fluorine 2 Freon12) Cars.kif 1790-1790
(molecularRatio Hydrogen 2 SulfuricAcid) Cars.kif 2475-2475
(molecularRatio Hydrogen 5 SodiumLactate) Medicine.kif 5895-5895
(molecularRatio Nitrogen 1 NitricOxide) Geography.kif 7550-7550
(molecularRatio Nitrogen 1 NitrogenDioxide) Geography.kif 7575-7575
(molecularRatio Oxygen 1 NitricOxide) Geography.kif 7551-7551
(molecularRatio Oxygen 2 NitrogenDioxide) Geography.kif 7576-7576
(molecularRatio Oxygen 2 SulphurDioxide) Geography.kif 7516-7516
(molecularRatio Oxygen 3 SodiumLactate) Medicine.kif 5896-5896
(molecularRatio Oxygen 4 SulfuricAcid) Cars.kif 2477-2477
(molecularRatio Potassium 1 PotassiumChloride) Medicine.kif 5889-5889
(molecularRatio Sodium 1 SodiumChloride) Medicine.kif 5884-5884
(molecularRatio Sodium 1 SodiumLactate) Medicine.kif 5893-5893
(molecularRatio Sulphur 1 SulfuricAcid) Cars.kif 2476-2476
(molecularRatio Sulphur 1 SulphurDioxide) Geography.kif 7515-7515


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 3.0 is open source software produced by Articulate Software and its partners