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	The number 1 argument of task relation is an instance of realtime system
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1445-1445	The number 2 argument of task relation is an instance of task relation attribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1443-1443	task relation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1442-1442	task relation is a subrelation of 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