TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1244-1247
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1242-1242	substanceElement 的 1 数量是躯体性物体的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1243-1243	substanceElement 的 2 数量是物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1241-1241	substanceElement 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1248-1248
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1249-1249