TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 715-717
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 713-713	安顿时间的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 714-714	安顿时间的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 712-712	安顿时间是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2255-2255
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2254-2254
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2253-2253
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52335-52335
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52334-52334
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52333-52333