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	Le nombre 1 argument de taskRelation est une instance de RealtimeSystem
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1445-1445	Le nombre 2 argument de taskRelation est une instance de TaskRelationAttribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1443-1443	taskRelation est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1442-1442	taskRelation est une sous-relation 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 57007-57007
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57006-57006
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57005-57005