(=>     (exists (?Time1 ?Time2)         (and             (dependencyDelay ?Program1 ?Delay)             (dependencyType ?Program1 StartupBlock)             (hasDependency ?Program1 ?Program2)             (instance ?Process1 ComputerProcess)             (programRunning ?Process1 ?Program1)             (instance ?Process2 ComputerProcess)             (programRunning ?Process2 ?Program2)             (equal                 (WhenFn ?Process2) ?Time2)             (starts ?Time2 ?Time)             (equal                 (WhenFn ?Process1) ?Time1)             (equal                 (EndFn ?Time)                 (BeginFn ?Time1))))     (duration ?Time ?Delay))	QoSontology.kif 1254-1268
(=>     (temporallyBetweenOrEqual         (BeginFn             (WhenFn ?PHYS)) ?TIME         (EndFn             (WhenFn ?PHYS)))     (and         (time ?PHYS ?TIME)         (instance ?TIME TimePoint)))	Merge.kif 8212-8221

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners