subProcess

-------------------------


( ! [V__R,V__WN,V__W] :
   ((s__instance(V__WN,s__Process) &
       s__instance(V__W,s__PhysicalQuantity))
     =>
     (s__instance(V__WN,s__NetworkCommunicationFn(s__BluetoothNetwork))
     &
     s__instance(V__R,s__RadiatingElectromagnetic) &
     s__subProcess(V__R,V__WN)
   &
   s__carrierFrequency(V__R,V__W))
=>
(s__greaterThan(V__W,s__GigaFn(s__MeasureFn(s__Hertz,n__2_4)))
&
s__lessThan(V__W,s__GigaFn(s__MeasureFn(s__Hertz,n__2_485))))
)
)

ComputingBrands.kif 1557-1565
( ! [V__P,V__S1,V__S2] :
   ((s__instance(V__P,s__Process) &
       s__instance(V__S1,s__Process) &
       s__instance(V__S2,s__Process))
     =>
     (s__subProcess(V__S1,V__P)
     &
     s__subProcess(V__S2,V__P))
=>
s__relatedEvent(V__S1,V__S2)
)
)

Merge.kif 3598-3602
( ! [V__SUBPROC,V__PROC] :
   ((s__instance(V__SUBPROC,s__Process) &
       s__instance(V__PROC,s__Process))
     =>
     s__subProcess(V__SUBPROC,V__PROC)
   =>
   s__temporalPart(s__WhenFn(V__SUBPROC)
,s__WhenFn(V__PROC))
)
)

Merge.kif 9496-9498


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners