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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Process

Sigma KEE - Process
Process(process)
Carnot's_ideal_cycle, Carnot_cycle, Christianisation, Christianization, Doppler_effect, Doppler_shift, Renaissance, Renascence, ability, abiogenesis, abort, about-face, absence, absenteeism, abut, access, accident, accompaniment, account, acoustic_impedance, acoustic_reactance, acoustic_resistance, acquire, act_of_God, action, activate, activation, active, activity, actuate, adapted, adaptive_radiation, add_on, add_up, addle, address, adiabatic_process, adjoin, adjournment, adjustment, adopt, adulteration, advance, advent, aetiology, affect, affinity, affirm, affix, afford...

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


s__documentation(s__Process,s__ChineseLanguage,'" 这个类别属于发生的事物,它具有时间的部分或阶段。 例子包括:历时颇长的事件如足球比赛或赛跑,行动如追踪、阅读和及各种生物过程。它的形式定义是:任何在某时间发生 而又不是 Object 的存在着。 注:Process 内可以有 Object 参加者介入,例如球赛的球员。四维的 知识本体论认为 Process 的时空幅度可分成大约和时间轴平衡的数个时间阶段。"')

chinese_format.kif 1698-1701
s__documentation(s__Process,s__EnglishLanguage,'"The class of things that happen and have temporal parts or stages. Examples include extended events like a football match or a race, actions like Pursuing and Reading, and biological processes. The formal definition is: anything that occurs in time but is not an Object. Note that a Process may have participants inside it which are Objects, such as the players in a football match. In a 4D ontology, a Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis."')

Merge.kif 1533-1541
s__externalImage(s__Process,'"http://upload.wikimedia.org/wikipedia/commons/3/ 38/ Clepsydra_Geyser_at_Fountain_Paint_Pot_in_Yellowstone-750px.JPG"')

pictureList.kif 6795-6795
s__instance(s__Process,s__SetOrClass)

s__subclass(s__Process,s__Physical)

s__instance(s__Physical,s__SetOrClass)

Merge.kif 1532-1532 Process is a subclass of physical

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


s__instance(s__Process,s__SetOrClass)

s__instance(s__SEO,s__Process)

UXExperimentalTerms.kif 2585-2585 Search engine optimization is an instance of process
s__range(s__AbortedFn__m,s__Process)

MilitaryProcesses.kif 2393-2393 The range of aborted is an instance of process
s__rangeSubclass(s__FailureFn__m,s__Process)

ComputingBrands.kif 4486-4486 The values returned by FailureFn are subclasses of process
s__rangeSubclass(s__OperatingFn__m,s__Process)

Mid-level-ontology.kif 16341-16341 The values returned by operating are subclasses of process
s__instance(s__Process,s__SetOrClass)

s__subclass(s__AddToCart,s__Process)

s__instance(s__AddToCart,s__SetOrClass)

UXExperimentalTerms.kif 1500-1500 Add to cart is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__subclass(s__AgentPatientProcess,s__Process)

s__instance(s__AgentPatientProcess,s__SetOrClass)

Media.kif 164-164 AgentPatientProcess is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__subclass(s__BreakingRecord,s__Process)

s__instance(s__BreakingRecord,s__SetOrClass)

Mid-level-ontology.kif 28444-28444 BreakingRecord is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__instance(s__CausingHappiness,s__SetOrClass)

s__subclass(s__CausingHappiness,s__Process)

Mid-level-ontology.kif 22253-22253 Causing happiness is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__instance(s__CausingUnhappiness,s__SetOrClass)

s__subclass(s__CausingUnhappiness,s__Process)

Mid-level-ontology.kif 22274-22274 Causing unhappiness is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__instance(s__Checkout,s__SetOrClass)

s__subclass(s__Checkout,s__Process)

UXExperimentalTerms.kif 1664-1664 Checkout is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__subclass(s__ContentBearingProcess,s__Process)

s__instance(s__ContentBearingProcess,s__SetOrClass)

Merge.kif 1218-1218 Content bearing process is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__instance(s__DualObjectProcess,s__SetOrClass)

s__subclass(s__DualObjectProcess,s__Process)

Merge.kif 1543-1543 Dual object process is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__instance(s__IntentionalProcess,s__SetOrClass)

s__subclass(s__IntentionalProcess,s__Process)

Merge.kif 10044-10044 Intentional process is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__subclass(s__InternalChange,s__Process)

s__instance(s__InternalChange,s__SetOrClass)

Merge.kif 11959-11959 Internal change is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__subclass(s__LargeGroupProcess,s__Process)

s__instance(s__LargeGroupProcess,s__SetOrClass)

Mid-level-ontology.kif 7405-7405 LargeGroupProcess is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__instance(s__Motion,s__SetOrClass)

s__subclass(s__Motion,s__Process)

Merge.kif 10536-10536 Motion is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__subclass(s__NaturalProcess,s__Process)

s__instance(s__NaturalProcess,s__SetOrClass)

Merge.kif 10040-10040 Natural process is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__instance(s__PowerGeneration,s__SetOrClass)

s__subclass(s__PowerGeneration,s__Process)

Economy.kif 2067-2067 Power generation is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__subclass(s__SingleAgentProcess,s__Process)

s__instance(s__SingleAgentProcess,s__SetOrClass)

Merge.kif 1556-1556 SingleAgentProcess is a subclass of process
s__instance(s__Process,s__SetOrClass)

s__subclass(s__WatchItem,s__Process)

s__instance(s__WatchItem,s__SetOrClass)

UXExperimentalTerms.kif 1794-1794 Watch item is a subclass of process
s__termFormat(s__ChineseLanguage,s__Process,'"过程"')

chinese_format.kif 851-851
s__termFormat(s__EnglishLanguage,s__Process,'"process"')

english_format.kif 909-909

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


s__domain(s__AbortedFn__m,n__2,s__Process)

MilitaryProcesses.kif 2392-2392 The number 2 argument of aborted is an instance of process
s__domain(s__DepartmentOfPreventingFn__m,n__2,s__Process)

Mid-level-ontology.kif 16813-16813 The number 2 argument of DepartmentOfPreventingFn is an instance of process
s__domain(s__StartFn__m,n__1,s__Process)

Mid-level-ontology.kif 392-392 The number 1 argument of start is an instance of process
s__domain(s__StopFn__m,n__1,s__Process)

Mid-level-ontology.kif 406-406 The number 1 argument of stop is an instance of process
s__domain(s__agent__m,n__1,s__Process)

Merge.kif 2341-2341 The number 1 argument of agent is an instance of process
s__domain(s__benefits__m,n__1,s__Process)

Mid-level-ontology.kif 21384-21384 The number 1 argument of benefits is an instance of process
s__domain(s__causes__m,n__1,s__Process)

Merge.kif 3650-3650 The number 1 argument of causes is an instance of process
s__domain(s__causes__m,n__2,s__Process)

Merge.kif 3651-3651 The number 2 argument of causes is an instance of process
s__domain(s__commentator__m,n__2,s__Process)

Mid-level-ontology.kif 14432-14432 The number 2 argument of commentator is an instance of process
s__domain(s__conversionEvent__m,n__2,s__Process)

UXExperimentalTerms.kif 3036-3036 The number 2 argument of conversionEvent is an instance of process
s__domain(s__coordinates__m,n__1,s__Process)

MilitaryProcesses.kif 1677-1677 The number 1 argument of coordinates is an instance of process
s__domain(s__coordinates__m,n__2,s__Process)

MilitaryProcesses.kif 1678-1678 The number 2 argument of coordinates is an instance of process
s__domain(s__destination__m,n__1,s__Process)

Merge.kif 2352-2352 The number 1 argument of destination is an instance of process
s__domain(s__direction__m,n__1,s__Process)

Merge.kif 16151-16151 The number 1 argument of direction is an instance of process
s__domain(s__eventPartlyLocated__m,n__1,s__Process)

Merge.kif 3959-3959 The number 1 argument of event partly located is an instance of process
s__domain(s__exclusiveEvent__m,n__2,s__Process)

UXExperimentalTerms.kif 4537-4537 The number 2 argument of exclusive is an instance of process
s__domain(s__experiencer__m,n__1,s__Process)

Merge.kif 2366-2366 The number 1 argument of experiencer is an instance of process
s__domain(s__experimentalControlProcess__m,n__2,s__Process)

UXExperimentalTerms.kif 4032-4032 The number 2 argument of experimental control (process) is an instance of process
s__domain(s__experimentalVariableProcess__m,n__2,s__Process)

UXExperimentalTerms.kif 4079-4079 The number 2 argument of experimental variable (process) is an instance of process
s__domain(s__hinders__m,n__1,s__Process)

Merge.kif 4240-4240 The number 1 argument of hinders is an instance of process
s__domain(s__instrument__m,n__1,s__Process)

Merge.kif 2379-2379 The number 1 argument of instrument is an instance of process
s__domain(s__involvedInEvent__m,n__1,s__Process)

Merge.kif 2322-2322 The number 1 argument of involved in event is an instance of process
s__domain(s__judge__m,n__1,s__Process)

Law.kif 236-236 The number 1 argument of judge is an instance of process
s__domain(s__manner__m,n__1,s__Process)

Merge.kif 1642-1642 The number 1 argument of manner is an instance of process
s__domain(s__origin__m,n__1,s__Process)

Merge.kif 2390-2390 The number 1 argument of origin is an instance of process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 21724-21730
No TPTP formula. May not be expressible in strict first order. Hotel.kif 502-518
( ! [V__COMP,V__PHYS,V__DEP] :
   (((s__instance(V__COMP,s__Organization) &
         s__instance(V__PHYS,s__Process) &
         s__instance(V__PHYS,s__Class) &
         s__subclass(V__PHYS,s__Process) &
         s__instance(V__DEP,s__Agent))
       =>
       ((((V__DEP = s__DepartmentOfPreventingFn(V__COMP,V__PHYS))
           &
           s__subclass(V__PHYS,s__Process))
         =>
         (s__inhibits(V__DEP,V__PHYS)))))
)
)

Mid-level-ontology.kif 16816-16820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16822-16831
( ! [V__AGENT,V__R,V__CUST,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 820-841
( ! [V__AGENT,V__CUST,V__X,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freePropertyAmenity(V__AGENT,V__PHYS)
           &
           s__instance(V__X,V__PHYS)
         &
         s__customer(V__CUST,V__AGENT)
       &
       ((s__instance(V__X,s__Process) &
           (s__agent(V__X,V__CUST)
           |
           s__experiencer(V__X,V__CUST)))
     |
     (s__possesses(V__AGENT,V__X)
     &
     s__instance(V__X,s__Object) &
     s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 526-541
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__R,s__TemporaryResidence) &
         s__instance(V__ROOM,s__Class) &
         s__subclass(V__ROOM,s__HotelUnit) &
         s__instance(V__OBJ,s__Class) &
         s__instance(V__GUEST,s__Human) &
         s__instance(V__HOTEL,s__Agent))
       =>
       (((s__freeRoomAmenity(V__ROOM,V__OBJ)
           &
           s__subclass(V__OBJ,s__Object) &
           s__instance(V__R,V__ROOM)
         &
         s__stays(V__GUEST,V__R)
       &
       s__element(V__R,s__PropertyFn(V__HOTEL))
   &
   s__instance(V__O,V__OBJ)
&
s__located(V__O,V__R)
&
s__instance(V__P,s__Process) &
s__agent(V__P,V__GUEST)
&
(s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
(s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__HOTEL)))))
)
)

Hotel.kif 334-349
( ! [V__P,V__R,V__ROOM,V__S,V__PROC,V__GUEST,V__HOTEL] :
   (((s__instance(V__P,s__Process) &
         s__instance(V__R,s__TemporaryResidence) &
         s__instance(V__ROOM,s__Class) &
         s__subclass(V__ROOM,s__HotelUnit) &
         s__instance(V__S,s__Process) &
         s__instance(V__PROC,s__Class) &
         s__instance(V__GUEST,s__Human) &
         s__instance(V__HOTEL,s__Agent))
       =>
       (((s__freeRoomAmenity(V__ROOM,V__PROC)
           &
           s__subclass(V__PROC,s__Process) &
           s__instance(V__R,V__ROOM)
         &
         s__stays(V__GUEST,V__R)
       &
       s__element(V__R,s__PropertyFn(V__HOTEL))
   &
   s__patient(V__P,V__GUEST)
&
(s__instance(V__P,V__PROC)
|
(s__instance(V__S,V__PROC)
&
s__subProcess(V__P,V__S)))
&
s__located(V__P,V__R))
=>
(s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__HOTEL)))))
)
)

Hotel.kif 351-365
( ! [V__PROCESS,V__COMMENTING] :
   (((s__instance(V__COMMENTING,s__Commenting) &
         s__instance(V__PROCESS,s__Process) &
         s__patient(V__COMMENTING,V__PROCESS))
     =>
     (( ? [V__AGENT, V__SPEAKING, V__LOOKING] :
         ((s__instance(V__AGENT,s__Agent) &
             s__instance(V__SPEAKING,s__Speaking) &
             s__instance(V__LOOKING,s__Looking) &
             s__agent(V__SPEAKING,V__AGENT)
           &
           s__agent(V__LOOKING,V__AGENT)
         &
         s__patient(V__LOOKING,V__PROCESS)
       &
       s__refers(V__SPEAKING,V__PROCESS))))))
)
)

Mid-level-ontology.kif 14415-14428
( ! [V__EV,V__DEV] :
   (((s__instance(V__DEV,s__ElectricDevice) &
         s__instance(V__EV,s__Process) &
         s__instrument(V__EV,V__DEV))
     =>
     (( ? [V__R] :
         ((s__instance(V__R,s__Electricity) &
             s__resource(V__EV,V__R))))))
)
)

Mid-level-ontology.kif 2482-2490
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4561-4578
( ! [V__P,V__Q] :
   ((s__instance(V__Q,s__PhysicalQuantity) =>
       (((s__instance(V__P,s__Process) &
             s__measure(V__P,V__Q))
         =>
         (s__instance(V__Q,s__TimeDependentQuantity)))))
   )
)

Merge.kif 7263-7267
( ! [V__PLAN,V__PROC] :
   (((s__instance(V__PLAN,s__Plan) &
         s__instance(V__PROC,s__Process) &
         s__represents(V__PLAN,V__PROC))
     =>
     (( ? [V__PLANNING, V__CBO] :
         ((s__instance(V__PLANNING,s__Planning) &
             s__instance(V__CBO,s__ContentBearingPhysical) &
             s__containsInformation(V__CBO,V__PLAN)
           &
           s__result(V__PLANNING,V__CBO)
         &
         s__earlier(s__BeginFn(s__WhenFn(V__PLANNING))
    ,s__BeginFn(s__WhenFn(V__PROC)))
&
s__earlier(s__EndFn(s__WhenFn(V__PLANNING))
,s__EndFn(s__WhenFn(V__PROC))))))))
)
)

Military.kif 32-44
( ! [V__PROC,V__SUB,V__LOC] :
   ((s__instance(V__SUB,s__Process) =>
       (((s__instance(V__PROC,s__Process) &
             s__eventLocated(V__PROC,V__LOC)
           &
           s__subProcess(V__SUB,V__PROC))
       =>
       (s__eventLocated(V__SUB,V__LOC)))))
)
)

Mid-level-ontology.kif 21978-21983
( ! [V__AGENT,V__PROCESS,V__ACCESSING,V__TIMETOFIRST,V__PROCESS_CLASS] :
   (((s__instance(V__PROCESS,s__TimeInterval) &
         s__instance(V__PROCESS,s__Process) &
         s__instance(V__PROCESS_CLASS,s__Class))
       =>
       (((s__instance(V__PROCESS,V__PROCESS_CLASS)
           &
           s__subclass(V__PROCESS_CLASS,s__Process) &
           s__instance(V__ACCESSING,s__AccessingWebPage) &
           s__instance(V__AGENT,s__Agent) &
           s__agent(V__PROCESS,V__AGENT)
         &
         s__agent(V__ACCESSING,V__AGENT)
       &
       s__during(V__PROCESS,V__ACCESSING)
     &
     s__instance(V__TIMETOFIRST,s__TimeInterval) &
     ~(( ? [V__PROCESS2] :
         ((s__instance(V__PROCESS2,s__TimeInterval) &
             s__instance(V__PROCESS2,s__Process) &
             (s__instance(V__PROCESS2,V__PROCESS_CLASS)
             &
             s__agent(V__PROCESS2,V__AGENT)
           &
           s__during(V__PROCESS2,V__ACCESSING)
         &
         s__before(s__BeginFn(s__WhenFn(V__PROCESS2))
    ,s__BeginFn(s__WhenFn(V__PROCESS))))))))
&
(s__BeginFn(s__WhenFn(V__ACCESSING))
= s__BeginFn(s__WhenFn(V__TIMETOFIRST)))
&
(s__BeginFn(s__WhenFn(V__PROCESS))
= s__EndFn(s__WhenFn(V__TIMETOFIRST))))
=>
((s__TTFxFn(V__PROCESS_CLASS,V__ACCESSING)
= V__TIMETOFIRST)))))
)
)

UXExperimentalTerms.kif 1703-1725
( ! [V__RAINFALL,V__PH,V__RAIN] :
   ((s__instance(V__PH,s__RealNumber) =>
       (((s__instance(V__RAINFALL,s__Process) &
             s__patient(V__RAINFALL,V__RAIN)
           &
           s__instance(V__RAIN,s__Water) &
           s__measure(V__RAIN,s__MeasureFn(V__PH,s__PHValue)))
       =>
       (s__lessThan(V__PH,n__5_6)))))
)
)

Geography.kif 2523-2529
( ! [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__VARIABLE1,V__VARIABLE2,V__EXPERIMENT1,V__EXPERIMENT2,V__TEST] :
   (((s__instance(V__TEST,s__MultivariateTest) &
         s__subProcess(V__EXPERIMENT1,V__TEST)
       &
       s__subProcess(V__EXPERIMENT2,V__TEST)
     &
     s__instance(V__EXPERIMENT1,s__Experimenting) &
     s__instance(V__EXPERIMENT2,s__Experimenting) &
     s__instance(V__VARIABLE1,s__Process) &
     s__instance(V__VARIABLE2,s__Process) &
     s__experimentalVariableProcess(V__EXPERIMENT1,V__VARIABLE1)
   &
   s__experimentalVariableProcess(V__EXPERIMENT2,V__VARIABLE2))
=>
(( ? [V__PROCESS] :
   ((s__instance(V__PROCESS,s__Process) &
       s__subProcess(V__VARIABLE1,V__PROCESS)
     &
     s__subProcess(V__VARIABLE2,V__PROCESS)
   &
   ~((V__VARIABLE1 = V__VARIABLE2)))))))
)
)

UXExperimentalTerms.kif 4702-4719
( ! [V__AGENT,V__EXPERIMENT,V__VARIABLE] :
   (((s__instance(V__VARIABLE,s__Process) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__AGENT,s__Agent) &
         s__experiencer(V__AGENT,s__Agent) &
         s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
     =>
     (( ? [V__CONTROL_GROUP] :
         ((s__instance(V__CONTROL_GROUP,s__Collection) &
             s__member(V__AGENT,V__CONTROL_GROUP)
           &
           s__controlGroup(V__CONTROL_GROUP,V__EXPERIMENT))))))
)
)

UXExperimentalTerms.kif 4058-4069
( ! [V__AGENT,V__EXPERIMENT,V__VARIABLE] :
   (((s__instance(V__VARIABLE,s__Process) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__AGENT,s__Agent) &
         s__experiencer(V__AGENT,s__Agent) &
         s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
     =>
     (( ? [V__TREATMENT_GROUP] :
         ((s__instance(V__TREATMENT_GROUP,s__Collection) &
             s__member(V__AGENT,V__TREATMENT_GROUP)
           &
           s__treatmentGroup(V__TREATMENT_GROUP,V__EXPERIMENT))))))
)
)

UXExperimentalTerms.kif 4175-4186
( ! [V__EXPERIMENT,V__PROC,V__VISITOR,V__COLL] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__subclass(V__PROC,s__Process))
       =>
       (((s__instance(V__VISITOR,s__Human) &
             s__instance(V__COLL,s__Collection) &
             ( ! [V__EXPERIMENTING, V__EVENT] :
               (((s__instance(V__EXPERIMENTING,s__Experimenting) &
                     s__instance(V__EVENT,s__Process) &
                     s__member(V__EVENT,s__QualifyingEventsFn(V__EXPERIMENT))
                 &
                 s__capability(V__EVENT,s__experiencer__m,V__VISITOR))
             =>
             (s__member(V__EVENT,V__COLL)))))
     &
     (s__member(V__PROC,V__COLL)
     =>
     ((s__instance(V__PROC,s__Process) &
         ( ? [V__EXP] :
           ((s__instance(V__EXP,s__Experimenting) &
               s__member(V__PROC,s__QualifyingEventsFn(V__EXP))
           &
           s__capability(V__PROC,s__experiencer__m,V__VISITOR))))))))
=>
((s__QualifiedTreatmentsFn(V__VISITOR)
= V__COLL)))))
)
)

UXExperimentalTerms.kif 4448-4471
( ! [V__O,V__P,V__Q,V__S,V__M] :
   (((s__instance(V__O,s__Agent) &
         s__subclass(V__P,s__Process) &
         s__instance(V__Q,s__TimeDuration) &
         s__instance(V__M,s__MeasurementAttribute))
       =>
       (((s__memberMeasure(V__S,V__M,V__Q)
           &
           s__instance(V__S,s__Set) &
           s__member(V__O,V__S)
         &
         s__instance(V__P,s__Process) &
         s__agent(V__P,V__O))
     =>
     (s__frequency(V__P,V__Q)))))
)
)

Mid-level-ontology.kif 29720-29727
( ! [V__O,V__P,V__Q,V__S] :
   (((s__instance(V__O,s__Agent) &
         s__subclass(V__P,s__Process) &
         s__instance(V__Q,s__TimeDuration))
       =>
       (((s__memberMeasure(V__S,s__Frequency,V__Q)
           &
           s__instance(V__S,s__Class) &
           s__instance(V__O,V__S)
         &
         s__instance(V__P,s__Process) &
         s__agent(V__P,V__O))
     =>
     (s__frequency(V__P,V__Q)))))
)
)

Mid-level-ontology.kif 29729-29736
( ! [V__TYPE,V__AREA] :
   (((s__subclass(V__TYPE,s__Physical) &
         s__instance(V__TYPE,s__Class) &
         s__instance(V__AREA,s__GeographicArea))
       =>
       (((s__naturalHazardTypeInArea(V__AREA,V__TYPE)
           &
           s__subclass(V__TYPE,s__Process))
         =>
         (( ? [V__ITEM] :
             ((s__instance(V__ITEM,s__Physical) &
                 (s__instance(V__ITEM,V__TYPE)
                 &
                 s__located(V__ITEM,V__AREA)
               &
               s__overlapsTemporally(s__WhenFn(V__ITEM)
            ,s__WhenFn(V__AREA))))))))))
)
)

Geography.kif 2248-2256
( ! [V__AGENT,V__PROCESSINST,V__PROCESS,V__OBJ,V__CLASS,V__CATALOG] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__PROCESSINST,s__Process) &
         s__instance(V__PROCESS,s__Class) &
         s__subclass(V__PROCESS,s__Process) &
         s__instance(V__CLASS,s__Class) &
         s__subclass(V__CLASS,s__Entity) &
         s__instance(V__CATALOG,s__Catalog))
       =>
       (((s__offers(V__AGENT,V__CATALOG)
           &
           s__catalogItem(V__CLASS,V__CATALOG)
         &
         s__subclass(V__CLASS,s__Object) &
         s__instance(V__PROCESSINST,V__PROCESS)
       &
       s__subclass(V__PROCESS,s__Process) &
       s__instance(V__OBJ,V__CLASS)
     &
     s__patient(V__PROCESSINST,V__OBJ))
=>
(s__capability(V__PROCESS,s__agent__m,V__AGENT)))))
)
)

Catalog.kif 97-106

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AJT,V__A] :
   ((s__instance(V__A,s__CognitiveAgent) =>
       (((s__attribute(V__A,s__AppraisalAsJustTreatment) &
             s__instance(V__AJT,s__AppraisalProcess) &
             s__agent(V__AJT,V__A))
         =>
         (( ? [V__P, V__A2] :
             ((s__instance(V__A2,s__Agent) &
                 (s__instance(V__P,s__Process) &
                   s__refers(V__AJT,V__P)
                 &
                 s__agent(V__P,V__A2)
               &
               ~((V__A = V__A2))
               &
               s__patient(V__P,V__A)
             &
             s__wants(V__A,V__P)))))))))
)
)

emotion.kif 374-387
( ! [V__A,V__AUJ] :
   ((s__instance(V__A,s__CognitiveAgent) =>
       (((s__attribute(V__A,s__AppraisalAsUnjustTreatment) &
             s__instance(V__AUJ,s__AppraisalProcess) &
             s__agent(V__AUJ,V__A))
         =>
         (( ? [V__P, V__A2] :
             ((s__instance(V__A2,s__Agent) &
                 (s__instance(V__P,s__Process) &
                   s__refers(V__AUJ,V__P)
                 &
                 s__agent(V__P,V__A2)
               &
               ~((V__A = V__A2))
               &
               s__patient(V__P,V__A)
             &
             ~(s__wants(V__A,V__P))))))))))
)
)

emotion.kif 349-363
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2496-2510
( ! [V__SUBJECT,V__EXPERIMENT] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__SUBJECT,s__Human) &
         s__experimentalSubject(V__EXPERIMENT,V__SUBJECT))
     =>
     (( ? [V__PROCESS] :
         ((s__instance(V__PROCESS,s__Process) &
             s__experiencer(V__PROCESS,V__SUBJECT)
           &
           (s__experimentalControlProcess(V__EXPERIMENT,V__PROCESS)
           |
           s__experimentalVariableProcess(V__EXPERIMENT,V__PROCESS)))))))
)
)

UXExperimentalTerms.kif 4130-4141
( ! [V__VARIABLE1,V__VARIABLE2,V__EXPERIMENT1,V__EXPERIMENT2,V__TEST] :
   (((s__instance(V__TEST,s__MultivariateTest) &
         s__subProcess(V__EXPERIMENT1,V__TEST)
       &
       s__subProcess(V__EXPERIMENT2,V__TEST)
     &
     s__instance(V__EXPERIMENT1,s__Experimenting) &
     s__instance(V__EXPERIMENT2,s__Experimenting) &
     s__instance(V__VARIABLE1,s__Process) &
     s__instance(V__VARIABLE2,s__Process) &
     s__experimentalVariableProcess(V__EXPERIMENT1,V__VARIABLE1)
   &
   s__experimentalVariableProcess(V__EXPERIMENT2,V__VARIABLE2))
=>
(( ? [V__PROCESS] :
   ((s__instance(V__PROCESS,s__Process) &
       s__subProcess(V__VARIABLE1,V__PROCESS)
     &
     s__subProcess(V__VARIABLE2,V__PROCESS)
   &
   ~((V__VARIABLE1 = V__VARIABLE2)))))))
)
)

UXExperimentalTerms.kif 4702-4719
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28446-28475
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25381-25407
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15065-15077
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__PRICE,V__U,V__GUEST,V__HOTEL] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__P,s__Process) &
         s__instance(V__R,s__TemporaryResidence) &
         s__instance(V__ROOM,s__Class) &
         s__subclass(V__ROOM,s__HotelUnit) &
         s__instance(V__OBJ,s__Class) &
         s__instance(V__PRICE,s__RealNumber) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__GUEST,s__Human) &
         s__instance(V__HOTEL,s__Agent))
       =>
       (((s__paidRoomAmenity(V__ROOM,V__OBJ)
           &
           s__subclass(V__OBJ,s__Object))
         =>
         (((s__instance(V__R,V__ROOM)
             &
             s__stays(V__GUEST,V__R)
           &
           s__element(V__R,s__PropertyFn(V__HOTEL))
       &
       s__instance(V__O,V__OBJ)
     &
     s__located(V__O,V__R)
   &
   s__instance(V__P,s__Process) &
   s__agent(V__P,V__GUEST)
&
(s__located(V__P,V__O)
|
s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
((s__price(V__P,s__MeasureFn(V__PRICE,V__U)
,V__HOTEL)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0))))))))
)
)

Hotel.kif 374-396
( ! [V__H] :
   ((s__instance(V__H,s__Agent) =>
       ((s__attribute(V__H,s__NewsReporter) =>
           (( ? [V__T, V__EV] :
               ((s__subclass(V__T,s__ContentBearingObject) &
                   (s__instance(V__EV,s__Process) &
                     s__overlapsTemporally(s__WhenFn(V__EV)
                  ,s__WhenFn(V__H))
               &
               s__authors(V__H,V__T)
             &
             s__refers(V__T,V__EV)))))))))
)
)

Mid-level-ontology.kif 19443-19452
No TPTP formula. May not be expressible in strict first order. Dining.kif 909-933
( ! [V__TEST] :
   (((s__instance(V__TEST,s__Object) &
         s__instance(V__TEST,s__Experimenting))
       =>
       ((s__attribute(V__TEST,s__ABTest) =>
           (( ? [V__PROCESS] :
               ((s__instance(V__PROCESS,s__Process) &
                   s__experimentalControlProcess(V__TEST,V__PROCESS))))))))
   )
)

UXExperimentalTerms.kif 4629-4634
( ! [V__TEST] :
   (((s__instance(V__TEST,s__Object) &
         s__instance(V__TEST,s__Experimenting))
       =>
       ((s__attribute(V__TEST,s__ABTest) =>
           (( ? [V__PROCESS] :
               ((s__instance(V__PROCESS,s__Process) &
                   s__experimentalVariableProcess(V__TEST,V__PROCESS))))))))
   )
)

UXExperimentalTerms.kif 4636-4641
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2773-2780
( ! [V__AGENT,V__OBJECT,V__DATE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__OBJECT,s__Object) &
         s__instance(V__DATE,s__TimeInterval) &
         s__instance(V__DATE,s__TimePoint))
       =>
       ((s__dateUsed(V__OBJECT,V__DATE,V__AGENT)
         =>
         (( ? [V__PROCESS] :
             ((s__instance(V__PROCESS,s__Process) &
                 s__patient(V__PROCESS,V__OBJECT)
               &
               s__agent(V__PROCESS,V__AGENT)
             &
             s__uses(V__OBJECT,V__AGENT)
           &
           s__overlapsTemporally(V__DATE,s__WhenFn(V__PROCESS)))))))))
)
)

Mid-level-ontology.kif 938-946
( ! [V__EXP,V__PROC] :
   (((s__instance(V__EXP,s__Experimenting) &
         s__instance(V__PROC,s__Process))
       =>
       ((s__exclusiveEvent(V__EXP,V__PROC)
         =>
         (( ? [V__EVP, V__AGENT] :
             ((s__instance(V__EVP,s__Process) &
                 s__instance(V__AGENT,s__Agent) &
                 s__treatedUser(V__AGENT,V__EXP)
               &
               s__experimentalVariableProcess(V__EXP,V__EVP)
             &
             s__experiencer(V__PROC,V__AGENT)
           &
           s__experiencer(V__EVP,V__AGENT)
         &
         s__earlier(s__WhenFn(V__EVP)
      ,s__WhenFn(V__PROC)))))))))
)
)

UXExperimentalTerms.kif 4549-4559
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29122-29142
( ! [V__FOOD,V__ING] :
   (((s__subclass(V__FOOD,s__PreparedFood) &
         s__instance(V__FOOD,s__Class) &
         s__subclass(V__ING,s__Substance) &
         s__instance(V__ING,s__Class))
       =>
       ((s__ingredient(V__ING,V__FOOD)
         =>
         (( ? [V__PROC, V__X, V__Y] :
             ((s__instance(V__PROC,s__Process) &
                 s__instance(V__X,V__ING)
               &
               s__patient(V__PROC,V__X)
             &
             s__instance(V__Y,V__FOOD)
           &
           s__result(V__PROC,V__Y))))))))
)
)

Food.kif 54-62
( ! [V__AMT,V__FOOD,V__ING] :
   (((s__instance(V__AMT,s__PhysicalQuantity) &
         s__instance(V__FOOD,s__Class) &
         s__subclass(V__FOOD,s__SelfConnectedObject) &
         s__instance(V__ING,s__Class) &
         s__subclass(V__ING,s__SelfConnectedObject))
       =>
       ((s__ingredientAmount(V__ING,V__FOOD,V__AMT)
         =>
         (( ? [V__PROC, V__X, V__Y] :
             ((s__instance(V__X,s__Physical) &
                 (s__instance(V__X,V__ING)
                 &
                 s__measure(V__X,V__AMT)
               &
               s__instance(V__Y,V__FOOD)
             &
             s__instance(V__PROC,s__Process) &
             s__patient(V__PROC,V__X)
           &
           s__result(V__PROC,V__Y)))))))))
)
)

Food.kif 72-81
( ! [V__A] :
   ((s__instance(V__A,s__Awarding) =>
       (( ? [V__RECIPIENT, V__GIVER, V__PROCESS, V__AWARD] :
           ((s__instance(V__RECIPIENT,s__Agent) &
               s__instance(V__GIVER,s__Agent) &
               s__instance(V__PROCESS,s__Process) &
               s__instance(V__AWARD,s__Object) &
               s__agent(V__PROCESS,V__RECIPIENT)
             &
             s__agent(V__A,V__GIVER)
           &
           s__patient(V__A,V__AWARD)
         &
         s__destination(V__A,V__RECIPIENT)
       &
       s__causes(V__PROCESS,V__A))))))
)
)

Mid-level-ontology.kif 17060-17072
( ! [V__B] :
   ((s__instance(V__B,s__Burrow) =>
       (( ? [V__P, V__A] :
           ((s__instance(V__P,s__Process) &
               s__agent(V__P,V__A)
             &
             s__instance(V__A,s__Animal) &
             ~(s__instance(V__A,s__Human))
             &
             s__result(V__P,V__B))))))
)
)

Geography.kif 5813-5822
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2806-2815
( ! [V__CHECK] :
   ((s__instance(V__CHECK,s__CheckInService) =>
       (( ? [V__AGENT, V__CUST, V__GREET, V__SERVICE] :
           ((s__instance(V__AGENT,s__CognitiveAgent) &
               s__instance(V__CUST,s__CognitiveAgent) &
               (s__customer(V__CUST,V__AGENT)
               &
               s__serviceProvider(V__CHECK,V__AGENT)
             &
             s__instance(V__GREET,s__Greeting) &
             s__agent(V__GREET,V__CUST)
           &
           s__destination(V__GREET,V__AGENT)
         &
         s__subProcess(V__GREET,V__CHECK)
       &
       s__instance(V__SERVICE,s__Process) &
       s__agent(V__SERVICE,V__AGENT)
     &
     s__causes(V__CHECK,V__SERVICE)))))))
)
)

Hotel.kif 2114-2126

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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