TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 645-647
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 643-643	域臨界水平, 1 and ComputerProgram
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 644-644	域臨界水平, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 642-642	例臨界水平 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 588-588
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 587-587
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 586-586
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17850-17850
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17849-17849
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17848-17848