TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1188-1191
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1186-1186	The number 1 argument of batch inter arrival is an instance of computer path
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1187-1187	The number 2 argument of batch inter arrival is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1185-1185	batch inter arrival is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 260-260
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 259-259
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 258-258
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10158-10158
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10157-10157
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10156-10156