TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1557-1559
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1555-1555	O argumento numero 1 de strictness e' uma instancia de RealtimeSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1556-1556	O argumento numero 2 de strictness e' uma instancia de StrictnessAttribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1554-1554	strictness e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1553-1553	strictness e' uma sub-relacao de property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4658-4658
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4657-4657
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4656-4656
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55626-55626
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55625-55625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55624-55624

antecedent

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

QoSontology.kif 1595-1609

consequent

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

QoSontology.kif 1595-1609