TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1174-1177
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1172-1172	简单的截止日期的 1 数量是计算机路径的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1173-1173	简单的截止日期的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1171-1171	简单的截止日期是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2299-2299
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2298-2298
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2297-2297
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53120-53120
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53119-53119
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53118-53118