TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1772-1773
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1775-1775	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 1774-1774	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 1776-1776	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 1769-1769	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 1770-1771
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 1778-1792

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 1810-1810	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 1811-1811	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 1812-1812	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 2497-2497	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 2499-2499	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 2498-2498	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: