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	域 molecularRatio, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1768-1768	域子類 molecularRatio, 1 and ElementalSubstance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1770-1770	域子類 molecularRatio, 3 and CompoundSubstance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1763-1763	例 molecularRatio and TernaryPredicate

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

例 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

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5866-5866	molecularRatio 鈣, 1 and CalciumChloride
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1804-1804	molecularRatio 碳, 1 and Freon12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5877-5877	molecularRatio 碳, 3 and SodiumLactate
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5872-5872	molecularRatio 氯, 1 and PotassiumChloride
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5868-5868	molecularRatio 氯, 1 and 鹽
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5865-5865	molecularRatio 氯, 2 and CalciumChloride
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1805-1805	molecularRatio 氯, 2 and Freon12
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1806-1806	molecularRatio 氟, 2 and Freon12
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2491-2491	molecularRatio 氫, 2 and SulfuricAcid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5878-5878	molecularRatio 氫, 5 and SodiumLactate
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7213-7213	molecularRatio 氮, 1 and NitricOxide
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7238-7238	molecularRatio 氮, 1 and NitrogenDioxide
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7214-7214	molecularRatio 氧, 1 and NitricOxide
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7239-7239	molecularRatio 氧, 2 and NitrogenDioxide
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7179-7179	molecularRatio 氧, 2 and SulphurDioxide
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5879-5879	molecularRatio 氧, 3 and SodiumLactate
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2493-2493	molecularRatio 氧, 4 and SulfuricAcid
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5873-5873	molecularRatio 鉀, 1 and PotassiumChloride
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5869-5869	molecularRatio 鈉, 1 and 鹽
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5876-5876	molecularRatio 鈉, 1 and SodiumLactate
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2492-2492	molecularRatio 硫, 1 and SulfuricAcid
No TPTP formula. May not be expressible in strict first order.	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: