TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1446-1448
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1444-1444	O argumento numero 1 de taskRelation e' uma instancia de RealtimeSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1445-1445	O argumento numero 2 de taskRelation e' uma instancia de TaskRelationAttribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1443-1443	taskRelation e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1442-1442	taskRelation e' uma sub-relacao de property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4730-4730
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4729-4729
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4728-4728
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57009-57009
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57008-57008
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57007-57007