TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 778-781
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 776-776	过程ID 的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 777-777	过程ID 的 2 数量是正整数的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 775-775	过程ID 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2067-2067
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2066-2066
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2065-2065
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47510-47510
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47509-47509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47508-47508