TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13529-13530
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13531-13531	SenseInabilityFn 的 1 数量是感知的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13528-13528	SenseInabilityFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13532-13532	SenseInabilityFn 的所得值是病理过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13534-13534
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13533-13533