TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1174-1177
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1172-1172	Le nombre 1 argument de simpleDeadline est une instance de ComputerPath
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1173-1173	Le nombre 2 argument de simpleDeadline est une instance de dur�e temporel
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1171-1171	simpleDeadline est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2299-2299
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2298-2298
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2297-2297
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53120-53120
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53119-53119
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53118-53118