TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1024-1026
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1022-1022	硬件类型的 1 数量是符号串的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1023-1023	硬件类型的 2 数量是电脑的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1021-1021	硬件类型是二元关系的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1020-1020	硬件类型是表示的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3598-3598
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3597-3597
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3596-3596
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27450-27450
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27449-27449
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27448-27448