TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21760-21761
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21763-21763	The number 2 argument of molecular ratio is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21762-21762	The number 1 argument of molecular ratio is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21764-21764	The number 3 argument of molecular ratio is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21757-21757	molecular ratio is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21758-21759
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65882-65882

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 21766-21780

If an object is an instance of a kind of compound substance and a kind of compound substance is a subclass of compound substance and there doesn't exist another object such that the other object is an instance of the kind of compound substance and the other object is a part of the object and the number of molecules of a kind of elemental substance in a molecule of the kind of compound substance is an integer and a collection is an instance of group and a third object is a member of the collection and the third object is a part of the object and the third object is an instance of a kind of elemental substance,
then the integer is a member count of the collection

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5866-5866	The number of molecules of calcium in a molecule of CalciumChloride is 1
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1787-1787	The number of molecules of carbon in a molecule of freon-12 is 1
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5877-5877	The number of molecules of carbon in a molecule of SodiumLactate is 3
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5872-5872	The number of molecules of chlorine in a molecule of PotassiumChloride is 1
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5868-5868	The number of molecules of chlorine in a molecule of salt is 1
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5865-5865	The number of molecules of chlorine in a molecule of CalciumChloride is 2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1788-1788	The number of molecules of chlorine in a molecule of freon-12 is 2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1789-1789	The number of molecules of fluorine in a molecule of freon-12 is 2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2474-2474	The number of molecules of hydrogen in a molecule of sulfuric acid is 2
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5878-5878	The number of molecules of hydrogen in a molecule of SodiumLactate is 5
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7213-7213	The number of molecules of nitrogen in a molecule of nitric oxide is 1
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7238-7238	The number of molecules of nitrogen in a molecule of nitrogen dioxide is 1
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7214-7214	The number of molecules of oxygen in a molecule of nitric oxide is 1
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7239-7239	The number of molecules of oxygen in a molecule of nitrogen dioxide is 2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7179-7179	The number of molecules of oxygen in a molecule of sulphur dioxide is 2
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5879-5879	The number of molecules of oxygen in a molecule of SodiumLactate is 3
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2476-2476	The number of molecules of oxygen in a molecule of sulfuric acid is 4
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5873-5873	The number of molecules of potassium in a molecule of PotassiumChloride is 1
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5869-5869	The number of molecules of sodium in a molecule of salt is 1
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5876-5876	The number of molecules of sodium in a molecule of SodiumLactate is 1
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2475-2475	The number of molecules of sulphur in a molecule of sulfuric acid is 1
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7178-7178	The number of molecules of sulphur in a molecule of sulphur dioxide is 1

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

KB Term:			Term intersection

English Word: