TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 189-190
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 187-187	Le nombre 1 argument de runningOn est une instance de programme d'ordinateur
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 188-188	Le nombre 2 argument de runningOn est une instance de Computer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 186-186	runningOn 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 4462-4462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4461-4461
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4460-4460
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50618-50618
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50617-50617
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50616-50616

antecedent

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 192-197

consequent

No TPTP formula. May not be expressible in strict first order.

QoSontology.kif 166-169