TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1766-1767
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1769-1769	The number 2 argument of molecular ratio is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1768-1768	The number 1 argument of molecular ratio is a subclass of elemental substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1770-1770	The number 3 argument of molecular ratio is a subclass of compound substance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1763-1763	molecular ratio is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1764-1765
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65880-65880

antecedent

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

Cars.kif 1772-1786

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 1804-1804	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 1805-1805	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 1806-1806	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 2491-2491	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 2493-2493	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 2492-2492	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: