batchInterArrival |
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 | O argumento numero 1 de batchInterArrival e' uma instancia de ComputerPath |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1187-1187 | O argumento numero 2 de batchInterArrival e' uma instancia de Duracao Temporal |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1185-1185 | batchInterArrival e' uma instancia de Predicado Binario |
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 |