TreeView Knowledge Base Browser

appearance as argument number 1

(instance molecularRatio TernaryPredicate)	Mid-level-ontology.kif 23999-23999	molecular ratio is an instance of ternary predicate
(documentation molecularRatio EnglishLanguage "The number of molecules of a particular ElementalSubstance in a given CompoundSubstance.")	Mid-level-ontology.kif 24002-24003	molecular ratio is an instance of ternary predicate
(domainSubclass molecularRatio 1 ElementalSubstance)	Mid-level-ontology.kif 24004-24004	The number 1 argument of molecular ratio is a subclass of elemental substance
(domain molecularRatio 2 Integer)	Mid-level-ontology.kif 24005-24005	The number 2 argument of molecular ratio is an instance of integer
(domainSubclass molecularRatio 3 CompoundSubstance)	Mid-level-ontology.kif 24006-24006	The number 3 argument of molecular ratio is a subclass of compound substance

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 24000-24001
(termFormat EnglishLanguage molecularRatio "molecular ratio")	domainEnglishFormat.kif 65899-65899

antecedent

(=>
    (and
        (instance ?CS1 ?CLASS)
        (subclass ?CLASS CompoundSubstance)
        (not
            (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 24008-24021

If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of compound substance (3) ~{ Z is an instance of Y } or ~{ Z is a part of X } (4) the number of molecules of W in a molecule of Y is V (5) U is an instance of group (6) T is a member of U (7) T is a part of X (8) T is an instance of W, then V is a member count of U

appearance as argument number 0

(molecularRatio Carbon 1 Freon12)	Cars.kif 1667-1667	The number of molecules of carbon in a molecule of freon-12 is 1
(molecularRatio Chlorine 2 Freon12)	Cars.kif 1668-1668	The number of molecules of chlorine in a molecule of freon-12 is 2
(molecularRatio Fluorine 2 Freon12)	Cars.kif 1669-1669	The number of molecules of fluorine in a molecule of freon-12 is 2
(molecularRatio Hydrogen 2 SulfuricAcid)	Cars.kif 2325-2325	The number of molecules of hydrogen in a molecule of sulfuric acid is 2
(molecularRatio Sulphur 1 SulfuricAcid)	Cars.kif 2326-2326	The number of molecules of sulphur in a molecule of sulfuric acid is 1
(molecularRatio Oxygen 4 SulfuricAcid)	Cars.kif 2327-2327	The number of molecules of oxygen in a molecule of sulfuric acid is 4
(molecularRatio Sulphur 1 SulphurDioxide)	Geography.kif 8839-8839	The number of molecules of sulphur in a molecule of sulphur dioxide is 1
(molecularRatio Oxygen 2 SulphurDioxide)	Geography.kif 8840-8840	The number of molecules of oxygen in a molecule of sulphur dioxide is 2
(molecularRatio Nitrogen 1 NitricOxide)	Geography.kif 8874-8874	The number of molecules of nitrogen in a molecule of nitric oxide is 1
(molecularRatio Oxygen 1 NitricOxide)	Geography.kif 8875-8875	The number of molecules of oxygen in a molecule of nitric oxide is 1
(molecularRatio Nitrogen 1 NitrogenDioxide)	Geography.kif 8898-8898	The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1
(molecularRatio Oxygen 2 NitrogenDioxide)	Geography.kif 8899-8899	The number of molecules of oxygen in a molecule of nitrogen dioxide is 2
(molecularRatio Chlorine 2 CalciumChloride)	Medicine.kif 5894-5894	The number of molecules of chlorine in a molecule of calcium chloride is 2
(molecularRatio Calcium 1 CalciumChloride)	Medicine.kif 5895-5895	The number of molecules of calcium in a molecule of calcium chloride is 1
(molecularRatio Chlorine 1 SodiumChloride)	Medicine.kif 5897-5897	The number of molecules of chlorine in a molecule of salt is 1
(molecularRatio Sodium 1 SodiumChloride)	Medicine.kif 5898-5898	The number of molecules of sodium in a molecule of salt is 1
(molecularRatio Chlorine 1 PotassiumChloride)	Medicine.kif 5902-5902	The number of molecules of chlorine in a molecule of potassium chloride is 1
(molecularRatio Potassium 1 PotassiumChloride)	Medicine.kif 5903-5903	The number of molecules of potassium in a molecule of potassium chloride is 1
(molecularRatio Sodium 1 SodiumLactate)	Medicine.kif 5907-5907	The number of molecules of sodium in a molecule of sodium lactate is 1
(molecularRatio Carbon 3 SodiumLactate)	Medicine.kif 5908-5908	The number of molecules of carbon in a molecule of sodium lactate is 3
(molecularRatio Hydrogen 5 SodiumLactate)	Medicine.kif 5909-5909	The number of molecules of hydrogen in a molecule of sodium lactate is 5
(molecularRatio Oxygen 3 SodiumLactate)	Medicine.kif 5910-5910	The number of molecules of oxygen in a molecule of sodium lactate is 3

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

KB Term:			Term intersection

English Word: