TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 643-645
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 641-641	The number 1 argument of criticality level is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 642-642	The number 2 argument of criticality level is an instance of integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 640-640	criticality level is an instance of binary predicate

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 17841-17841
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17840-17840
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17839-17839