TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1005-1006
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1003-1003	域預設網絡, 1 and 硬件系統
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1004-1004	域預設網絡, 2 and 計算機網絡
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1002-1002	例預設網絡 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 700-700
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 699-699
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 698-698
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18888-18888
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18887-18887
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18886-18886