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	Le nombre 1 argument de strictness est une instance de RealtimeSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1556-1556	Le nombre 2 argument de strictness est une instance de StrictnessAttribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1554-1554	strictness est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1553-1553	strictness est une sous-relation 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