TreeView 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 1772-1773
(domain molecularRatio 2 Integer)	Cars.kif 1775-1775	域 molecularRatio, 2 and Integer
(domainSubclass molecularRatio 1 ElementalSubstance)	Cars.kif 1774-1774	域子類 molecularRatio, 1 and ElementalSubstance
(domainSubclass molecularRatio 3 CompoundSubstance)	Cars.kif 1776-1776	域子類 molecularRatio, 3 and CompoundSubstance
(instance molecularRatio TernaryPredicate)	Cars.kif 1769-1769	例 molecularRatio and TernaryPredicate

appearance as argument number 2

(format EnglishLanguage molecularRatio "the number of molecules of %1 in a molecule of %3 is %n %2")	Cars.kif 1770-1771
(termFormat EnglishLanguage molecularRatio "molecular ratio")	domainEnglishFormat.kif 65880-65880

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 1778-1792

例 Object and CompoundSubstance 子類 CompoundSubstance and CompoundSubstance Object 例 Object and CompoundSubstance 部分 Object and Object molecularRatio ElementalSubstance, Integer and CompoundSubstance 例 Collection and Group 會員 Object and Collection 部分 Object and Object 例 Object and ElementalSubstance
Integer 是 Collection 的 member 計數

appearance as argument number 0

(molecularRatio Calcium 1 CalciumChloride)	Medicine.kif 5866-5866	molecularRatio 鈣, 1 and CalciumChloride
(molecularRatio Carbon 1 Freon12)	Cars.kif 1810-1810	molecularRatio 碳, 1 and Freon12
(molecularRatio Carbon 3 SodiumLactate)	Medicine.kif 5877-5877	molecularRatio 碳, 3 and SodiumLactate
(molecularRatio Chlorine 1 PotassiumChloride)	Medicine.kif 5872-5872	molecularRatio 氯, 1 and PotassiumChloride
(molecularRatio Chlorine 1 SodiumChloride)	Medicine.kif 5868-5868	molecularRatio 氯, 1 and 鹽
(molecularRatio Chlorine 2 CalciumChloride)	Medicine.kif 5865-5865	molecularRatio 氯, 2 and CalciumChloride
(molecularRatio Chlorine 2 Freon12)	Cars.kif 1811-1811	molecularRatio 氯, 2 and Freon12
(molecularRatio Fluorine 2 Freon12)	Cars.kif 1812-1812	molecularRatio 氟, 2 and Freon12
(molecularRatio Hydrogen 2 SulfuricAcid)	Cars.kif 2497-2497	molecularRatio 氫, 2 and SulfuricAcid
(molecularRatio Hydrogen 5 SodiumLactate)	Medicine.kif 5878-5878	molecularRatio 氫, 5 and SodiumLactate
(molecularRatio Nitrogen 1 NitricOxide)	Geography.kif 7213-7213	molecularRatio 氮, 1 and NitricOxide
(molecularRatio Nitrogen 1 NitrogenDioxide)	Geography.kif 7238-7238	molecularRatio 氮, 1 and NitrogenDioxide
(molecularRatio Oxygen 1 NitricOxide)	Geography.kif 7214-7214	molecularRatio 氧, 1 and NitricOxide
(molecularRatio Oxygen 2 NitrogenDioxide)	Geography.kif 7239-7239	molecularRatio 氧, 2 and NitrogenDioxide
(molecularRatio Oxygen 2 SulphurDioxide)	Geography.kif 7179-7179	molecularRatio 氧, 2 and SulphurDioxide
(molecularRatio Oxygen 3 SodiumLactate)	Medicine.kif 5879-5879	molecularRatio 氧, 3 and SodiumLactate
(molecularRatio Oxygen 4 SulfuricAcid)	Cars.kif 2499-2499	molecularRatio 氧, 4 and SulfuricAcid
(molecularRatio Potassium 1 PotassiumChloride)	Medicine.kif 5873-5873	molecularRatio 鉀, 1 and PotassiumChloride
(molecularRatio Sodium 1 SodiumChloride)	Medicine.kif 5869-5869	molecularRatio 鈉, 1 and 鹽
(molecularRatio Sodium 1 SodiumLactate)	Medicine.kif 5876-5876	molecularRatio 鈉, 1 and SodiumLactate
(molecularRatio Sulphur 1 SulfuricAcid)	Cars.kif 2498-2498	molecularRatio 硫, 1 and SulfuricAcid
(molecularRatio Sulphur 1 SulphurDioxide)	Geography.kif 7178-7178	molecularRatio 硫, 1 and SulphurDioxide

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: