consequent

(=>     (and         (monitorComponentData ?Time1 ?ID ?Number)         (componentDataID ?Time2 ?Component ?Instance ?Unit ?ID))     (exists (?Event)         (and             (instance ?Event MeasuringPerformance)             (unitMeasuringPerformance ?Instance ?Unit)             (time ?Event ?Time1)             (performanceResult ?Event ?Instance ?Number))))	QoSontology.kif 1051-1060	If X is monitor component data Y for Z and W component dataID V for U with T and Y, then there exists S such that S is an instance of measuring performance, T is an unit measuring performance of U, S exists during X, and S is performance result U for Z
(=>     (benchmarkPerformance ?System ?Test ?Number)     (exists (?Event)         (and             (instance ?Event MeasuringPerformance)             (performanceResult ?Event ?System ?Number))))	QoSontology.kif 1141-1146	If X benchmark performance Y for Z, then there exists W such that W is an instance of measuring performance and W is performance result X for Z
(=>     (load ?System ?Load)     (exists (?Event)         (performanceResult ?Event ?System ?Load)))	QoSontology.kif 1970-1973	If the load on X is Y, then there exists Z such that Z is performance result X for Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)