Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CaseRole
CaseRole(case role)active, participating, self

appearance as argument number 1
-------------------------


s__documentation(s__CaseRole,s__ChineseLanguage,'"这是一个 PredicateClass, 它把 Process 中可以从空间上区别的部分联系起来。 CaseRole 包括 agentpatient 或行动的 destination 这些例子、燃烧过程中的易燃物质,或是降雨过程中的雨水。"')

chinese_format.kif 1860-1862
s__documentation(s__CaseRole,s__EnglishLanguage,'"The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles include, for example, the agent, patient or destination of an action, the flammable substance in a burning process, or the water that falls in rain."')

Merge.kif 2312-2315
s__instance(s__CaseRole,s__SetOrClass)

s__subclass(s__CaseRole,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 2310-2310 Case role is a subclass of asymmetric relation
s__subclass(s__CaseRole,s__BinaryPredicate)

s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 2308-2308 Case role is a subclass of binary predicate
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__InheritableRelation,s__SetOrClass)

s__subclass(s__CaseRole,s__InheritableRelation)

Merge.kif 2309-2309 Case role is a subclass of inheritable relation

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__CaseRole,'"%2 %n 是 %1 的 case 角色"')

domainEnglishFormat.kif 384-384
s__format(s__ChineseTraditionalLanguage,s__CaseRole,'"%2 %n 是 %1 的 case 角色"')

domainEnglishFormat.kif 383-383
s__format(s__EnglishLanguage,s__CaseRole,'"%2 is %n a case role of %1"')

domainEnglishFormat.kif 382-382
s__instance(s__accountUsed__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

ComputingBrands.kif 4131-4131 account used is an instance of case role
s__instance(s__agent__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

Merge.kif 2339-2339 agent is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__amountOfBid__m,s__CaseRole)

UXExperimentalTerms.kif 1649-1649 bid amount is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__arrested__m,s__CaseRole)

Mid-level-ontology.kif 21528-21528 arrested is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__arrestingOfficer__m,s__CaseRole)

Law.kif 269-269 arresting officer is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__attends__m,s__CaseRole)

Merge.kif 12428-12428 attends is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__attorney__m,s__CaseRole)

Law.kif 487-487 attorney is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__broker__m,s__CaseRole)

UXExperimentalTerms.kif 1888-1888 broker is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__cargo__m,s__CaseRole)

Mid-level-ontology.kif 20927-20927 cargo is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__catalyst__m,s__CaseRole)

VirusProteinAndCellPart.kif 205-205 catalyst is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__changesLocation__m,s__CaseRole)

Merge.kif 10513-10513 changes location is an instance of case role
s__instance(s__computerRunning__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

QoSontology.kif 199-199 computer running is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__contestParticipant__m,s__CaseRole)

Mid-level-ontology.kif 17690-17690 contest participant is an instance of case role
s__instance(s__controlled__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

Mid-level-ontology.kif 21477-21477 controlled is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__conveyance__m,s__CaseRole)

Mid-level-ontology.kif 21583-21583 conveyance is an instance of case role
s__instance(s__dataProcessed__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

QoSontology.kif 1881-1881 data processed is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__defendant__m,s__CaseRole)

Mid-level-ontology.kif 14443-14443 defendant is an instance of case role
s__instance(s__defenseLawyer__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

Law.kif 323-323 defense lawyer is an instance of case role
s__instance(s__destination__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

Merge.kif 2350-2350 destination is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__detainee__m,s__CaseRole)

Mid-level-ontology.kif 6127-6127 detainee is an instance of case role
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__direction__m,s__CaseRole)

Merge.kif 16149-16149 direction is an instance of case role
s__instance(s__eCommerceSite__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

UXExperimentalTerms.kif 1911-1911 eCommerceSite is an instance of case role

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


s__domain(s__capability__m,n__2,s__CaseRole)

Merge.kif 3775-3775 The number 2 argument of capability is an instance of case role
s__domain(s__capabilityDuring__m,n__2,s__CaseRole)

Dining.kif 871-871 The number 2 argument of capable during is an instance of case role
s__domain(s__capableAtLocation__m,n__2,s__CaseRole)

Transportation.kif 2695-2695 The number 2 argument of capable at location is an instance of case role
s__domain(s__playsRoleInEvent__m,n__2,s__CaseRole)

Mid-level-ontology.kif 21293-21293 The number 2 argument of plays role in event is an instance of case role
s__domain(s__playsRoleInEventOfType__m,n__2,s__CaseRole)

Mid-level-ontology.kif 21326-21326 The number 2 argument of plays role in event of type is an instance of case role

antecedent
-------------------------


( ! [V__OBJ,V__EVENT] :
   (((s__arrestingOfficer(V__EVENT,V__OBJ)
       &
       s__instance(s__arrestingOfficer__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__arrestingOfficer__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__defendant(V__EVENT,V__OBJ)
       &
       s__instance(s__defendant__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__defendant__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__detainee(V__EVENT,V__OBJ)
       &
       s__instance(s__detainee__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__detainee__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__experimenter(V__EVENT,V__OBJ)
       &
       s__instance(s__experimenter__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__experimenter__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__defenseLawyer(V__EVENT,V__OBJ)
       &
       s__instance(s__defenseLawyer__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__defenseLawyer__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__agent(V__EVENT,V__OBJ)
       &
       s__instance(s__agent__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__agent__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__plays(V__EVENT,V__OBJ)
       &
       s__instance(s__plays__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__plays__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__changesLocation(V__EVENT,V__OBJ)
       &
       s__instance(s__changesLocation__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__changesLocation__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__direction(V__EVENT,V__OBJ)
       &
       s__instance(s__direction__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__direction__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__controlled(V__EVENT,V__OBJ)
       &
       s__instance(s__controlled__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__controlled__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__objectOfBid(V__EVENT,V__OBJ)
       &
       s__instance(s__objectOfBid__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__objectOfBid__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__attends(V__EVENT,V__OBJ)
       &
       s__instance(s__attends__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__attends__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__passenger(V__EVENT,V__OBJ)
       &
       s__instance(s__passenger__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__passenger__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__resourceUsed(V__EVENT,V__OBJ)
       &
       s__instance(s__resourceUsed__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__resourceUsed__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__arrested(V__EVENT,V__OBJ)
       &
       s__instance(s__arrested__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__arrested__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__origin(V__EVENT,V__OBJ)
       &
       s__instance(s__origin__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__origin__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__serviceProvider(V__EVENT,V__OBJ)
       &
       s__instance(s__serviceProvider__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__serviceProvider__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__path(V__EVENT,V__OBJ)
       &
       s__instance(s__path__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__path__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__eventPartlyLocated(V__EVENT,V__OBJ)
       &
       s__instance(s__eventPartlyLocated__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__eventPartlyLocated__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__standardInputDevice(V__EVENT,V__OBJ)
       &
       s__instance(s__standardInputDevice__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__standardInputDevice__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__targetInAttack(V__EVENT,V__OBJ)
       &
       s__instance(s__targetInAttack__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__targetInAttack__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__experimentalSubject(V__EVENT,V__OBJ)
       &
       s__instance(s__experimentalSubject__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__experimentalSubject__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__moves(V__EVENT,V__OBJ)
       &
       s__instance(s__moves__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__moves__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__losesControl(V__EVENT,V__OBJ)
       &
       s__instance(s__losesControl__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__losesControl__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__destination(V__EVENT,V__OBJ)
       &
       s__instance(s__destination__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__destination__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__reagent(V__EVENT,V__OBJ)
       &
       s__instance(s__reagent__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__reagent__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__cargo(V__EVENT,V__OBJ)
       &
       s__instance(s__cargo__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__cargo__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__patient(V__EVENT,V__OBJ)
       &
       s__instance(s__patient__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__patient__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__witness(V__EVENT,V__OBJ)
       &
       s__instance(s__witness__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__witness__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__objectDetached(V__EVENT,V__OBJ)
       &
       s__instance(s__objectDetached__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__objectDetached__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__dataProcessed(V__EVENT,V__OBJ)
       &
       s__instance(s__dataProcessed__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__dataProcessed__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__suffers(V__EVENT,V__OBJ)
       &
       s__instance(s__suffers__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__suffers__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__objectTransferred(V__EVENT,V__OBJ)
       &
       s__instance(s__objectTransferred__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__objectTransferred__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__subclass(V__OBJ,s__Agent) &
         s__subclass(V__EVENT,s__Process))
       =>
       (((s__typicalAction(V__EVENT,V__OBJ)
           &
           s__instance(s__typicalAction__m,s__CaseRole) &
           s__instance(V__EVENT,s__Process) &
           s__instance(V__OBJ,s__Object))
         =>
         (s__playsRoleInEvent(V__OBJ,s__typicalAction__m,V__EVENT)))))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__broker(V__EVENT,V__OBJ)
       &
       s__instance(s__broker__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__broker__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__plaintiff(V__EVENT,V__OBJ)
       &
       s__instance(s__plaintiff__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__plaintiff__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__standardOutputDevice(V__EVENT,V__OBJ)
       &
       s__instance(s__standardOutputDevice__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__standardOutputDevice__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__computerRunning(V__EVENT,V__OBJ)
       &
       s__instance(s__computerRunning__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__computerRunning__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__judge(V__EVENT,V__OBJ)
       &
       s__instance(s__judge__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__judge__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__accountUsed(V__EVENT,V__OBJ)
       &
       s__instance(s__accountUsed__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__accountUsed__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__perpetrator(V__EVENT,V__OBJ)
       &
       s__instance(s__perpetrator__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__perpetrator__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__instrument(V__EVENT,V__OBJ)
       &
       s__instance(s__instrument__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__instrument__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__objectAttached(V__EVENT,V__OBJ)
       &
       s__instance(s__objectAttached__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__objectAttached__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__catalyst(V__EVENT,V__OBJ)
       &
       s__instance(s__catalyst__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__catalyst__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__conveyance(V__EVENT,V__OBJ)
       &
       s__instance(s__conveyance__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__conveyance__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__eventLocated(V__EVENT,V__OBJ)
       &
       s__instance(s__eventLocated__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__eventLocated__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__prosecutor(V__EVENT,V__OBJ)
       &
       s__instance(s__prosecutor__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__prosecutor__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__eCommerceSite(V__EVENT,V__OBJ)
       &
       s__instance(s__eCommerceSite__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__eCommerceSite__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__serviceRecipient(V__EVENT,V__OBJ)
       &
       s__instance(s__serviceRecipient__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__serviceRecipient__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__invadingVirus(V__EVENT,V__OBJ)
       &
       s__instance(s__invadingVirus__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__invadingVirus__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__resourceExhausted(V__EVENT,V__OBJ)
       &
       s__instance(s__resourceExhausted__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__resourceExhausted__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__experiencer(V__EVENT,V__OBJ)
       &
       s__instance(s__experiencer__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__experiencer__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__experimentalControl(V__EVENT,V__OBJ)
       &
       s__instance(s__experimentalControl__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__experimentalControl__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__amountOfBid(V__EVENT,V__OBJ)
       &
       s__instance(s__amountOfBid__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__amountOfBid__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__attorney(V__EVENT,V__OBJ)
       &
       s__instance(s__attorney__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__attorney__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__result(V__EVENT,V__OBJ)
       &
       s__instance(s__result__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__result__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__gainsControl(V__EVENT,V__OBJ)
       &
       s__instance(s__gainsControl__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__gainsControl__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__standardErrorDevice(V__EVENT,V__OBJ)
       &
       s__instance(s__standardErrorDevice__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__standardErrorDevice__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__evidence(V__EVENT,V__OBJ)
       &
       s__instance(s__evidence__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__evidence__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__contestParticipant(V__EVENT,V__OBJ)
       &
       s__instance(s__contestParticipant__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__contestParticipant__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__webVisitor(V__EVENT,V__OBJ)
       &
       s__instance(s__webVisitor__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__webVisitor__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__transported(V__EVENT,V__OBJ)
       &
       s__instance(s__transported__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__transported__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__referee(V__EVENT,V__OBJ)
       &
       s__instance(s__referee__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__referee__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__victim(V__EVENT,V__OBJ)
       &
       s__instance(s__victim__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__victim__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__reactant(V__EVENT,V__OBJ)
       &
       s__instance(s__reactant__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__reactant__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   (((s__resource(V__EVENT,V__OBJ)
       &
       s__instance(s__resource__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__resource__m,V__EVENT)))
)
)

( ! [V__OBJ,V__EVENT] :
   ((s__subclass(V__OBJ,s__IntentionalProcess) =>
       (((s__enjoys(V__EVENT,V__OBJ)
           &
           s__instance(s__enjoys__m,s__CaseRole) &
           s__instance(V__EVENT,s__Process) &
           s__instance(V__OBJ,s__Object))
         =>
         (s__playsRoleInEvent(V__OBJ,s__enjoys__m,V__EVENT)))))
)
)

Mid-level-ontology.kif 21307-21313
( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__judge__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__judge(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__objectDetached__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectDetached(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__attorney__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__attorney(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Experimenting) =>
       (((s__instance(s__experimenter__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experimenter(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Motion) =>
       (((s__instance(s__moves__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__moves(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   (((s__instance(V__PROCESS,s__CognitiveAgent) &
         s__subclass(V__OBJ,s__IntentionalProcess))
       =>
       (((s__instance(s__enjoys__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__enjoys(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Translocation) =>
       (((s__instance(s__changesLocation__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__changesLocation(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__origin__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__origin(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__objectAttached__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectAttached(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__CriminalAction) =>
       (((s__instance(s__victim__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__victim(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChangeOfControl) =>
       (((s__instance(s__losesControl__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__losesControl(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChemicalProcess) =>
       (((s__instance(s__catalyst__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__catalyst(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Experimenting) =>
       (((s__instance(s__experimentalSubject__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experimentalSubject(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transfer) =>
       (((s__instance(s__objectTransferred__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectTransferred(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Game) =>
       (((s__instance(s__plays__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__plays(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__defenseLawyer__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__defenseLawyer(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ServiceProcess) =>
       (((s__instance(s__serviceRecipient__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__serviceRecipient(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__PlacingUnderArrest) =>
       (((s__instance(s__arrested__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__arrested(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__eventPartlyLocated__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__eventPartlyLocated(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__CriminalAction) =>
       (((s__instance(s__perpetrator__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__perpetrator(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ViralCellInvasion) =>
       (((s__instance(s__invadingVirus__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__invadingVirus(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Agent) =>
       (((s__instance(s__webVisitor__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__webVisitor(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   (((s__instance(V__PROCESS,s__Physical) &
         s__subclass(V__PROCESS,s__Process) &
         s__subclass(V__OBJ,s__Agent))
       =>
       (((s__instance(s__typicalAction__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__typicalAction(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Demonstrating) =>
       (((s__instance(s__attends__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__attends(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__resource__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__resource(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__FinancialTransaction) =>
       (((s__instance(s__eCommerceSite__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__eCommerceSite(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Experimenting) =>
       (((s__instance(s__experimentalControl__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experimentalControl(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transportation) =>
       (((s__instance(s__transported__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__transported(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Bidding) =>
       (((s__instance(s__objectOfBid__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectOfBid(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__direction__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__direction(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__evidence__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__evidence(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__eventLocated__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__eventLocated(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Contest) =>
       (((s__instance(s__contestParticipant__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__contestParticipant(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__patient__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__patient(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__standardErrorDevice__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__standardErrorDevice(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__targetInAttack__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__targetInAttack(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ServiceProcess) =>
       (((s__instance(s__serviceProvider__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__serviceProvider(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__resourceExhausted__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__resourceExhausted(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__instrument__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__instrument(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__plaintiff__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__plaintiff(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__result__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__result(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__prosecutor__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__prosecutor(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transfer) =>
       (((s__instance(s__passenger__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__passenger(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Confining) =>
       (((s__instance(s__detainee__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__detainee(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__destination__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__destination(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__experiencer__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__experiencer(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__agent__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__agent(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__AchievingControl) =>
       (((s__instance(s__controlled__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__controlled(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__witness__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__witness(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__resourceUsed__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__resourceUsed(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChemicalProcess) =>
       (((s__instance(s__reagent__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__reagent(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ChemicalProcess) =>
       (((s__instance(s__reactant__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__reactant(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__LegalAction) =>
       (((s__instance(s__defendant__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__defendant(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__standardOutputDevice__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__standardOutputDevice(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Shipping) =>
       (((s__instance(s__cargo__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__cargo(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__AchievingControl) =>
       (((s__instance(s__gainsControl__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__gainsControl(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__computerRunning__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__computerRunning(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Bidding) =>
       (((s__instance(s__amountOfBid__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__amountOfBid(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__standardInputDevice__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__standardInputDevice(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__suffers__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__suffers(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__FinancialTransaction) =>
       (((s__instance(s__broker__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__broker(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__accountUsed__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__accountUsed(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Transportation) =>
       (((s__instance(s__conveyance__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__conveyance(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Motion) =>
       (((s__instance(s__path__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__path(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__ComputerProcess) =>
       (((s__instance(s__dataProcessed__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__dataProcessed(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__PlacingUnderArrest) =>
       (((s__instance(s__arrestingOfficer__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__arrestingOfficer(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Game) =>
       (((s__instance(s__referee__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__referee(V__PROCESS,V__OBJ))
         =>
         (( ? [V__TIME] :
             ((s__instance(V__TIME,s__TimePoint) &
                 s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
              ,V__OBJ))))))))
)
)

Merge.kif 9181-9187
( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__witness__m,s__CaseRole) &
             s__witness(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__witness__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__ComputerOutputDevice))
       =>
       (((s__instance(s__standardErrorDevice__m,s__CaseRole) &
             s__standardErrorDevice(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__standardErrorDevice__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__PlacingUnderArrest) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__arrested__m,s__CaseRole) &
             s__arrested(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__arrested__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__CognitiveAgent))
       =>
       (((s__instance(s__defendant__m,s__CaseRole) &
             s__defendant(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__defendant__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__instrument__m,s__CaseRole) &
             s__instrument(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__instrument__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__evidence__m,s__CaseRole) &
             s__evidence(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__evidence__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__Human))
       =>
       (((s__instance(s__attorney__m,s__CaseRole) &
             s__attorney(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__attorney__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__experiencer__m,s__CaseRole) &
             s__experiencer(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__experiencer__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__UserAccount))
       =>
       (((s__instance(s__accountUsed__m,s__CaseRole) &
             s__accountUsed(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__accountUsed__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__resource__m,s__CaseRole) &
             s__resource(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__resource__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__AchievingControl) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__controlled__m,s__CaseRole) &
             s__controlled(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__controlled__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Translocation) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__changesLocation__m,s__CaseRole) &
             s__changesLocation(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__changesLocation__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__PlacingUnderArrest) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__arrestingOfficer__m,s__CaseRole) &
             s__arrestingOfficer(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__arrestingOfficer__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__AchievingControl) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__gainsControl__m,s__CaseRole) &
             s__gainsControl(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__gainsControl__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__objectDetached__m,s__CaseRole) &
             s__objectDetached(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__objectDetached__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ServiceProcess) &
         s__instance(V__ARG2,s__CognitiveAgent))
       =>
       (((s__instance(s__serviceRecipient__m,s__CaseRole) &
             s__serviceRecipient(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__serviceRecipient__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Demonstrating) &
         s__instance(V__ARG2,s__Human))
       =>
       (((s__instance(s__attends__m,s__CaseRole) &
             s__attends(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__attends__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Transportation) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__transported__m,s__CaseRole) &
             s__transported(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__transported__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__targetInAttack__m,s__CaseRole) &
             s__targetInAttack(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__targetInAttack__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ChangeOfControl) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__losesControl__m,s__CaseRole) &
             s__losesControl(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__losesControl__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__ComputerResource))
       =>
       (((s__instance(s__resourceUsed__m,s__CaseRole) &
             s__resourceUsed(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__resourceUsed__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Shipping) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__cargo__m,s__CaseRole) &
             s__cargo(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__cargo__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Experimenting) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__experimentalControl__m,s__CaseRole) &
             s__experimentalControl(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__experimentalControl__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Human))
       =>
       (((s__instance(s__judge__m,s__CaseRole) &
             s__judge(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__judge__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__origin__m,s__CaseRole) &
             s__origin(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__origin__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__PositionalAttribute) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__direction__m,s__CaseRole) &
             s__direction(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__direction__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__eventPartlyLocated__m,s__CaseRole) &
             s__eventPartlyLocated(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__eventPartlyLocated__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__eventLocated__m,s__CaseRole) &
             s__eventLocated(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__eventLocated__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__FinancialTransaction) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__broker__m,s__CaseRole) &
             s__broker(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__broker__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Contest) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__contestParticipant__m,s__CaseRole) &
             s__contestParticipant(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__contestParticipant__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__objectAttached__m,s__CaseRole) &
             s__objectAttached(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__objectAttached__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Motion) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__moves__m,s__CaseRole) &
             s__moves(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__moves__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ViralCellInvasion) &
         s__instance(V__ARG2,s__Virus))
       =>
       (((s__instance(s__invadingVirus__m,s__CaseRole) &
             s__invadingVirus(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__invadingVirus__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ChemicalProcess) &
         s__instance(V__ARG2,s__Substance))
       =>
       (((s__instance(s__reactant__m,s__CaseRole) &
             s__reactant(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__reactant__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Confining) &
         s__instance(V__ARG2,s__Animal))
       =>
       (((s__instance(s__detainee__m,s__CaseRole) &
             s__detainee(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__detainee__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__CriminalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__perpetrator__m,s__CaseRole) &
             s__perpetrator(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__perpetrator__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__FinancialTransaction) &
         s__instance(V__ARG2,s__WebSite))
       =>
       (((s__instance(s__eCommerceSite__m,s__CaseRole) &
             s__eCommerceSite(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__eCommerceSite__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ChemicalProcess) &
         s__instance(V__ARG2,s__Substance))
       =>
       (((s__instance(s__catalyst__m,s__CaseRole) &
             s__catalyst(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__catalyst__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__defenseLawyer__m,s__CaseRole) &
             s__defenseLawyer(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__defenseLawyer__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Transfer) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__passenger__m,s__CaseRole) &
             s__passenger(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__passenger__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__suffers__m,s__CaseRole) &
             s__suffers(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__suffers__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__ComputerInputDevice))
       =>
       (((s__instance(s__standardInputDevice__m,s__CaseRole) &
             s__standardInputDevice(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__standardInputDevice__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Bidding) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__objectOfBid__m,s__CaseRole) &
             s__objectOfBid(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__objectOfBid__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__Computer))
       =>
       (((s__instance(s__computerRunning__m,s__CaseRole) &
             s__computerRunning(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__computerRunning__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Motion) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__path__m,s__CaseRole) &
             s__path(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__path__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__result__m,s__CaseRole) &
             s__result(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__result__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__destination__m,s__CaseRole) &
             s__destination(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__destination__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ChemicalProcess) &
         s__instance(V__ARG2,s__Substance))
       =>
       (((s__instance(s__reagent__m,s__CaseRole) &
             s__reagent(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__reagent__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__agent__m,s__CaseRole) &
             s__agent(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__agent__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Transfer) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__objectTransferred__m,s__CaseRole) &
             s__objectTransferred(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__objectTransferred__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__CriminalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__victim__m,s__CaseRole) &
             s__victim(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__victim__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Experimenting) &
         s__instance(V__ARG2,s__CognitiveAgent))
       =>
       (((s__instance(s__experimenter__m,s__CaseRole) &
             s__experimenter(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__experimenter__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ServiceProcess) &
         s__instance(V__ARG2,s__CognitiveAgent))
       =>
       (((s__instance(s__serviceProvider__m,s__CaseRole) &
             s__serviceProvider(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__serviceProvider__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__DigitalData))
       =>
       (((s__instance(s__dataProcessed__m,s__CaseRole) &
             s__dataProcessed(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__dataProcessed__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__subclass(V__ARG1,s__Process) &
         s__subclass(V__ARG2,s__Agent) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__typicalAction__m,s__CaseRole) &
             s__typicalAction(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__typicalAction__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__ComputerProcess) &
         s__instance(V__ARG2,s__ComputerOutputDevice))
       =>
       (((s__instance(s__standardOutputDevice__m,s__CaseRole) &
             s__standardOutputDevice(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__standardOutputDevice__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Game) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__plays__m,s__CaseRole) &
             s__plays(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__plays__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__resourceExhausted__m,s__CaseRole) &
             s__resourceExhausted(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__resourceExhausted__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Bidding) &
         s__instance(V__ARG2,s__Object) &
         s__instance(V__ARG2,s__CurrencyMeasure))
       =>
       (((s__instance(s__amountOfBid__m,s__CaseRole) &
             s__amountOfBid(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__amountOfBid__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__CognitiveAgent) &
         s__instance(V__ARG2,s__Object) &
         s__subclass(V__ARG2,s__IntentionalProcess))
       =>
       (((s__instance(s__enjoys__m,s__CaseRole) &
             s__enjoys(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__enjoys__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Experimenting) &
         s__instance(V__ARG2,s__Human))
       =>
       (((s__instance(s__experimentalSubject__m,s__CaseRole) &
             s__experimentalSubject(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__experimentalSubject__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Game) &
         s__instance(V__ARG2,s__Agent))
       =>
       (((s__instance(s__referee__m,s__CaseRole) &
             s__referee(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__referee__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Transportation) &
         s__instance(V__ARG2,s__TransportationDevice))
       =>
       (((s__instance(s__conveyance__m,s__CaseRole) &
             s__conveyance(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__conveyance__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Process) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__patient__m,s__CaseRole) &
             s__patient(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__patient__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__prosecutor__m,s__CaseRole) &
             s__prosecutor(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__prosecutor__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__CognitiveAgent))
       =>
       (((s__instance(s__plaintiff__m,s__CaseRole) &
             s__plaintiff(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__plaintiff__m,V__ARG2)))))
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__Agent) &
         s__instance(V__ARG2,s__WebSite))
       =>
       (((s__instance(s__webVisitor__m,s__CaseRole) &
             s__webVisitor(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__webVisitor__m,V__ARG2)))))
)
)

Merge.kif 3782-3788
( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__direction__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__direction(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__direction__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ChangeOfControl))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__losesControl__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__losesControl(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__losesControl__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__subclass(V__OBJECT,s__Agent) &
         s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process) &
         s__subclass(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__typicalAction__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__typicalAction(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__typicalAction__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Demonstrating))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__attends__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__attends(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__attends__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__prosecutor__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__prosecutor(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__prosecutor__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__AchievingControl))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__gainsControl__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__gainsControl(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__gainsControl__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__resourceExhausted__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__resourceExhausted(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__resourceExhausted__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__instrument__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__instrument(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__instrument__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Experimenting))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__experimenter__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__experimenter(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__experimenter__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ServiceProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__serviceProvider__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__serviceProvider(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__serviceProvider__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__objectAttached__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__objectAttached(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__objectAttached__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__accountUsed__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__accountUsed(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__accountUsed__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Motion))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__path__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__path(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__path__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__standardOutputDevice__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__standardOutputDevice(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__standardOutputDevice__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__standardErrorDevice__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__standardErrorDevice(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__standardErrorDevice__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__CriminalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__victim__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__victim(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__victim__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__dataProcessed__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__dataProcessed(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__dataProcessed__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Shipping))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__cargo__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__cargo(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__cargo__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__defendant__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__defendant(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__defendant__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__eventPartlyLocated__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__eventPartlyLocated(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__eventPartlyLocated__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Game))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__referee__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__referee(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__referee__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__subclass(V__OBJECT,s__IntentionalProcess) &
         s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process) &
         s__instance(V__EVENT,s__CognitiveAgent))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__enjoys__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__enjoys(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__enjoys__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__standardInputDevice__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__standardInputDevice(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__standardInputDevice__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ChemicalProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__reagent__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__reagent(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__reagent__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__suffers__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__suffers(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__suffers__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Translocation))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__changesLocation__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__changesLocation(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__changesLocation__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ChemicalProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__catalyst__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__catalyst(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__catalyst__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Transportation))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__conveyance__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__conveyance(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__conveyance__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Contest))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__contestParticipant__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__contestParticipant(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__contestParticipant__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Transportation))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__transported__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__transported(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__transported__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__eventLocated__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__eventLocated(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__eventLocated__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__witness__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__witness(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__witness__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__evidence__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__evidence(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__evidence__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Game))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__plays__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__plays(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__plays__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__PlacingUnderArrest))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__arrestingOfficer__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__arrestingOfficer(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__arrestingOfficer__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ViralCellInvasion))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__invadingVirus__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__invadingVirus(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__invadingVirus__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__plaintiff__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__plaintiff(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__plaintiff__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__judge__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__judge(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__judge__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Transfer))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__objectTransferred__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__objectTransferred(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__objectTransferred__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Experimenting))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__experimentalControl__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__experimentalControl(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__experimentalControl__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ServiceProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__serviceRecipient__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__serviceRecipient(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__serviceRecipient__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Motion))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__moves__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__moves(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__moves__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__origin__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__origin(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__origin__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__FinancialTransaction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__broker__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__broker(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__broker__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__AchievingControl))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__controlled__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__controlled(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__controlled__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__experiencer__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__experiencer(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__experiencer__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__FinancialTransaction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__eCommerceSite__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__eCommerceSite(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__eCommerceSite__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Transfer))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__passenger__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__passenger(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__passenger__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__defenseLawyer__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__defenseLawyer(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__defenseLawyer__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Bidding))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__amountOfBid__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__amountOfBid(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__amountOfBid__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Bidding))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__objectOfBid__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__objectOfBid(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__objectOfBid__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__LegalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__attorney__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__attorney(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__attorney__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__computerRunning__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__computerRunning(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__computerRunning__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__PlacingUnderArrest))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__arrested__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__arrested(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__arrested__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__objectDetached__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__objectDetached(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__objectDetached__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__agent__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__agent(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__agent__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__destination__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__destination(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__destination__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__patient__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__patient(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__patient__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Experimenting))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__experimentalSubject__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__experimentalSubject(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__experimentalSubject__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__targetInAttack__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__targetInAttack(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__targetInAttack__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ComputerProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__resourceUsed__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__resourceUsed(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__resourceUsed__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__result__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__result(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__result__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__resource__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__resource(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__resource__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Confining))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__detainee__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__detainee(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__detainee__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__ChemicalProcess))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__reactant__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__reactant(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__reactant__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__CriminalAction))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__perpetrator__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__perpetrator(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__perpetrator__m,V__OBJECT,V__REGION)))))
)
)

( ! [V__REGION,V__OBJECT,V__TYPE,V__EVENT] :
   (((s__instance(V__TYPE,s__Class) &
         s__subclass(V__TYPE,s__Process) &
         s__instance(V__EVENT,s__Agent) &
         s__instance(V__EVENT,s__Process))
       =>
       (((s__subclass(V__TYPE,s__Process) &
             s__instance(V__EVENT,V__TYPE)
           &
           s__eventLocated(V__EVENT,V__REGION)
         &
         s__instance(s__webVisitor__m,s__CaseRole) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__REGION,s__GeographicArea) &
         s__webVisitor(V__EVENT,V__OBJECT))
     =>
     (s__capableAtLocation(V__TYPE,s__webVisitor__m,V__OBJECT,V__REGION)))))
)
)

Transportation.kif 2699-2708
( ! [V__R] :
   ((s__instance(V__R,s__CaseRole) =>
       (s__subrelation(V__R,s__involvedInEvent__m)))
     )
   )

Merge.kif 2335-2337

consequent
-------------------------


( ! [V__PRED] :
   ((s__instance(V__PRED,s__Relation) =>
       (((s__subrelation(V__PRED,s__involvedInEvent__m) =>
             s__instance(V__PRED,s__CaseRole))
           &
           (s__instance(V__PRED,s__CaseRole) =>
             s__subrelation(V__PRED,s__involvedInEvent__m)))))
     )
   )

Media.kif 119-121 A relation is a subrelation of involved in event if and only if the relation is an instance of case role


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



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