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

Formal Language: 



KB Term:  Term intersection
English Word: 

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...

VerbNet: contiguous_location-47.8|adjoin, adopt-93|take_on, engender-27|actuate, engender-27|prompt, tape-22.4|affix, contiguous_location-47.8|adjoin, appoint-29.1|adopt, other_cos-45.4|advance, tape-22.4|affix, other_cos-45.4|ease, conjecture-29.5|allow, conjecture-29.5|allow, other_cos-45.4|change, amalgamate-22.2|interchange, amuse-31.1|stupefy, appeal-31.4|appeal, tape-22.4|affix, engender-27|provoke, fill-9.8|choke, ensure-99|secure, appeal-31.4|appeal, indicate-78|prognosticate, indicate-78|prognosticate, avoid-52|avoid, avoid-52|avoid, force-59|shock, banish-10.2|banish, fill-9.8|blockade, fill-9.8|blockade, fill-9.8|bathe, contiguous_location-47.8|contain, declare-29.4|prove, amuse-31.1|stupefy, other_cos-45.4|steady, turn-26.6.1|turn, amuse-31.1|throw, amuse-31.1|throw, orphan-29.7|beggar, begin-55.1|begin, amuse-31.1|numb, neglect-75|fail, amuse-31.1|stupefy, addict-96|bias, hurt-40.8.3|burn, other_cos-45.4|blur, forbid-67|stop, fill-9.8|blockade, concealment-16|screen, fill-9.8|blockade, forbid-67|obstruct, ...


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 1527-1535
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 1526-1526 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 2580-2580 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 4440-4440 The values returned by FailureFn are subclasses of process
s__rangeSubclass(s__OperatingFn__m,s__Process)

Mid-level-ontology.kif 15561-15561 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 1497-1497 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 28194-28194 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 21706-21706 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 21726-21726 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 1661-1661 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 1213-1213 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 1537-1537 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 9834-9834 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 11635-11635 Internal change 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 10250-10250 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 9830-9830 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 1550-1550 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 1791-1791 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__StartFn__m,n__1,s__Process)

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

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

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

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

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

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

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

UXExperimentalTerms.kif 3031-3031 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 2345-2345 The number 1 argument of destination is an instance of process
s__domain(s__direction__m,n__1,s__Process)

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

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

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

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

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

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

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

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

Merge.kif 2315-2315 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 1636-1636 The number 1 argument of manner is an instance of process
s__domain(s__origin__m,n__1,s__Process)

Merge.kif 2383-2383 The number 1 argument of origin is an instance of process
s__domain(s__patient__m,n__1,s__Process)

Merge.kif 2396-2396 The number 1 argument of patient 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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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)
)
)

( ! [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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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__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)
)
)

Mid-level-ontology.kif 21169-21175
No TPTP formula. May not be expressible in strict first order. Hotel.kif 498-514
( ! [V__COMP,V__PHYS,V__DEP] :
   ((s__instance(V__COMP,s__Organization) &
       s__instance(V__PHYS,s__SetOrClass) &
       s__subclass(V__PHYS,s__Process) &
       s__instance(V__DEP)
     &
     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 16064-16068
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16070-16079
( ! [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__SetOrClass) &
       s__instance(V__PHYS,s__SetOrClass))
     =>
     (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 814-835
( ! [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__SetOrClass))
     =>
     (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 522-537
( ! [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__SetOrClass) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__OBJ,s__SetOrClass) &
       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__SetOrClass) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__S,s__Process) &
       s__instance(V__PROC,s__SetOrClass) &
       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 13543-13556
( ! [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 3005-3013
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4558-4575
( ! [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 21430-21435
( ! [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_CLASS,s__SetOrClass))
     =>
     (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 1700-1722
( ! [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 2502-2508
( ! [V__PROC,V__ARG1,V__ARG2] :
   ((s__instance(V__PROC,s__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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)
)
)

( ! [V__PROC,V__ARG1,V__ARG2] :
   ((s__instance(V__PROC,s__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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__SetOrClass) &
       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)
)
)

Merge.kif 3736-3742
( ! [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 4699-4716
( ! [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 4053-4064
( ! [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 4170-4181
( ! [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 4445-4468
( ! [V__TYPE,V__AREA] :
   ((s__subclass(V__TYPE,s__Physical) &
       s__instance(V__TYPE,s__SetOrClass) &
       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 2227-2235
( ! [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__SetOrClass) &
       s__subclass(V__PROCESS,s__Process) &
       s__instance(V__CLASS,s__SetOrClass) &
       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
( ! [V__AGENT,V__CLASS,V__CATALOG] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__CLASS,s__SetOrClass) &
       s__subclass(V__CLASS,s__Process) &
       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__Process))
=>
s__capability(V__CLASS,s__agent__m,V__AGENT)
)
)

Catalog.kif 87-92
( ! [V__AGENT,V__PROCESS,V__OBJ,V__TIMEINT,V__PROCESSINSTANCE,V__CLASS,V__CATALOG] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__PROCESS,s__SetOrClass) &
       s__subclass(V__PROCESS,s__Process) &
       s__instance(V__TIMEINT,s__TimeInterval) &
       s__subclass(V__TIMEINT,s__TimeInterval) &
       s__instance(V__PROCESSINSTANCE,s__Process) &
       s__instance(V__CLASS,s__SetOrClass) &
       s__subclass(V__CLASS,s__Entity) &
       s__instance(V__CATALOG,s__Catalog))
     =>
     (s__offersAtTime(V__AGENT,V__CATALOG,V__TIMEINT)
     &
     s__catalogItem(V__CLASS,V__CATALOG)
   &
   s__subclass(V__CLASS,s__Object) &
   s__instance(V__PROCESSINSTANCE,V__PROCESS)
&
s__subclass(V__PROCESS,s__Process) &
s__instance(V__OBJ,V__CLASS)
&
s__patient(V__PROCESSINSTANCE,V__OBJ))
=>
s__capabilityDuring(V__PROCESS,s__agent__m,V__AGENT,V__TIMEINT)
)
)

Catalog.kif 136-145
( ! [V__AGENT,V__TIMEINT,V__CLASS,V__CATALOG] :
   ((s__instance(V__AGENT,s__Agent) &
       s__instance(V__TIMEINT,s__TimeInterval) &
       s__subclass(V__TIMEINT,s__TimeInterval) &
       s__instance(V__CLASS,s__SetOrClass) &
       s__subclass(V__CLASS,s__Process) &
       s__subclass(V__CLASS,s__Entity) &
       s__instance(V__CATALOG,s__Catalog))
     =>
     (s__offersAtTime(V__AGENT,V__CATALOG,V__TIMEINT)
     &
     s__catalogItem(V__CLASS,V__CATALOG)
   &
   s__subclass(V__CLASS,s__Process))
=>
s__capabilityDuring(V__CLASS,s__agent__m,V__AGENT,V__TIMEINT)
)
)

Catalog.kif 129-134

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 480-496
No TPTP formula. May not be expressible in strict first order. Hotel.kif 784-805
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 4125-4136
( ! [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 4699-4716
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28196-28225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25182-25208
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14143-14155
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__PRICE,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__SetOrClass) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__OBJ,s__SetOrClass) &
       s__instance(V__PRICE,s__CurrencyMeasure) &
       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,V__PRICE,V__HOTEL)
&
s__greaterThan(V__PRICE,s__MeasureFn(n__0,s__UnitedStatesDollar)))
)
)

Hotel.kif 374-394
( ! [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 18743-18752
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 4626-4631
( ! [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 4633-4638
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2768-2775
( ! [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 1379-1387
( ! [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 4546-4556
( ! [V__FOOD,V__ING] :
   ((s__subclass(V__FOOD,s__PreparedFood) &
       s__instance(V__FOOD,s__SetOrClass) &
       s__subclass(V__ING,s__Substance) &
       s__instance(V__ING,s__SetOrClass))
     =>
     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__subclass(V__FOOD,s__SelfConnectedObject) &
       s__instance(V__FOOD,s__SetOrClass) &
       s__subclass(V__ING,s__SelfConnectedObject) &
       s__instance(V__ING,s__SetOrClass))
     =>
     s__ingredientAmount(V__ING,V__FOOD,V__AMT)
   =>
   ( ? [V__PROC, V__X, V__Y] :
     ((s__instance(V__X,s__Object) &
         (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 16317-16329
( ! [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 5627-5636
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2801-2810
( ! [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 2100-2112
No TPTP formula. May not be expressible in strict first order. engineering.kif 1138-1150

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners