Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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, additionally, addle, address, adiabatic_process, adjoin, adjournment, adjustment, adopt, adulteration, advance, advent, aetiology, affect, affinity, affirm, affix...

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


s__subclass(s__Process,s__Physical)

 Merge.kif 1715-1715 Process is a subclass of physical
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 1716-1724 Process is a subclass of physical
s__externalImage(s__Process,"http:
//upload.wikimedia.org/wikipedia/commons/3/38/Clepsydra_Geyser_at_Fountain_Paint_Pot_in_Yellowstone-750px.JPG")

 pictureList.kif 6793-6793 Process is a subclass of physical

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


s__subclass(s__ContentBearingProcess,s__Process)

 Merge.kif 1409-1409 Content bearing process is a subclass of process
s__subclass(s__DualObjectProcess,s__Process)

 Merge.kif 1726-1726 Dual object process is a subclass of process
s__subclass(s__SingleAgentProcess,s__Process)

 Merge.kif 1739-1739 Single agent process is a subclass of process
s__subclass(s__NaturalProcess,s__Process)

 Merge.kif 10727-10727 Natural process is a subclass of process
s__subclass(s__IntentionalProcess,s__Process)

 Merge.kif 10731-10731 Intentional process is a subclass of process
s__subclass(s__Motion,s__Process)

 Merge.kif 11265-11265 Motion is a subclass of process
s__subclass(s__InternalChange,s__Process)

 Merge.kif 12882-12882 Internal change is a subclass of process
s__subclass(s__LargeGroupProcess,s__Process)

 Mid-level-ontology.kif 9249-9249 Large group process is a subclass of process
s__rangeSubclass(s__OperatingFn,s__Process)

 Mid-level-ontology.kif 19819-19819 The values returned by operating are subclasses of process
s__subclass(s__BreakingRecord,s__Process)

 Mid-level-ontology.kif 32625-32625 Breaking record is a subclass of process
s__rangeSubclass(s__FailureFn,s__Process)

 ComputingBrands.kif 4426-4426 The values returned by failure fn are subclasses of process
s__subclass(s__PowerGeneration,s__Process)

 Economy.kif 2298-2298 Power generation is a subclass of process
s__subclass(s__AutomatedProcess,s__Process)

 Facebook.kif 674-674 Automated process is a subclass of process
s__subclass(s__AgentPatientProcess,s__Process)

 Media.kif 158-158 Agent patient process is a subclass of process
s__range(s__AbortedFn,s__Process)

 MilitaryProcesses.kif 2440-2440 The range of aborted is an instance of process
s__subclass(s__AddToCart,s__Process)

 UXExperimentalTerms.kif 1303-1303 Add to cart is a subclass of process
s__subclass(s__Checkout,s__Process)

 UXExperimentalTerms.kif 1457-1457 Checkout is a subclass of process
s__subclass(s__WatchItem,s__Process)

 UXExperimentalTerms.kif 1587-1587 Watch item is a subclass of process
s__instance(s__SEO,s__Process)

 UXExperimentalTerms.kif 2376-2376 Search engine optimization is an instance of process
s__subclass(s__CausingHappiness,s__Process)

 emotion.kif 1284-1284 Causing happiness is a subclass of process
s__subclass(s__CausingUnhappiness,s__Process)

 emotion.kif 1305-1305 Causing unhappiness is a subclass of process
s__termFormat(s__EnglishLanguage, s__Process, "process") english_format.kif 908-908 Causing unhappiness is a subclass of process

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


s__domain(s__manner,n__1,s__Process)

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

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

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

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

 Merge.kif 2566-2566 The number 1 argument of experiencer is an instance of process
s__domain(s__instrument,n__1,s__Process)

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

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

 Merge.kif 2603-2603 The number 1 argument of patient is an instance of process
s__domain(s__resource,n__1,s__Process)

 Merge.kif 2619-2619 The number 1 argument of resource is an instance of process
s__domain(s__resourceExhausted,n__1,s__Process)

 Merge.kif 2638-2638 The number 1 argument of resource exhausted is an instance of process
s__domain(s__result,n__1,s__Process)

 Merge.kif 2660-2660 The number 1 argument of result is an instance of process
s__domain(s__subProcess,n__1,s__Process)

 Merge.kif 3858-3858 The number 1 argument of sub process is an instance of process
s__domain(s__subProcess,n__2,s__Process)

 Merge.kif 3859-3859 The number 2 argument of sub process is an instance of process
s__domain(s__relatedEvent,n__1,s__Process)

 Merge.kif 3874-3874 The number 1 argument of related event is an instance of process
s__domain(s__relatedEvent,n__2,s__Process)

 Merge.kif 3875-3875 The number 2 argument of related event is an instance of process
s__domain(s__causes,n__1,s__Process)

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

 Merge.kif 3885-3885 The number 2 argument of causes is an instance of process
s__domainSubclass(s__causesSubclass,n__1,s__Process)

 Merge.kif 3907-3907 The number 1 argument of causes subclass is a subclass of process
s__domainSubclass(s__causesSubclass,n__2,s__Process)

 Merge.kif 3908-3908 The number 2 argument of causes subclass is a subclass of process
s__domainSubclass(s__capability,n__1,s__Process)

 Merge.kif 4004-4004 The number 1 argument of capability is a subclass of process
s__domainSubclass(s__hasSkill,n__1,s__Process)

 Merge.kif 4083-4083 The number 1 argument of has skill is a subclass of process
s__domain(s__eventPartlyLocated,n__1,s__Process)

 Merge.kif 4202-4202 The number 1 argument of event partly located is an instance of process
s__domain(s__eventLocated,n__1,s__Process)

 Merge.kif 4226-4226 The number 1 argument of event located is an instance of process
s__domainSubclass(s__precondition,n__1,s__Process)

 Merge.kif 4407-4407 The number 1 argument of precondition is a subclass of process
s__domainSubclass(s__precondition,n__2,s__Process)

 Merge.kif 4408-4408 The number 2 argument of precondition is a subclass of process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


! [V__PROC1] :
((s__instance(V__PROC1,s__Process) =>
     (? [V__PROC2] :
       ((s__instance(V__PROC2,s__Process) &
           s__causes(V__PROC2,V__PROC1)))))
)

 Merge.kif 3897-3900 If X is an instance of process, then there exists Y such that Y causes X
! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__FinancialTransaction) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__broker,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__patient,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__LegalAction) &
       s__instance(V__ARG2,s__CognitiveAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__defendant,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ServiceProcess) &
       s__instance(V__ARG2,s__CognitiveAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__serviceProvider,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__origin,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Transportation) &
       s__instance(V__ARG2,s__TransportationDevice) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__conveyance,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__instrument,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__CriminalAction) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__perpetrator,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ViralCellInvasion) &
       s__instance(V__ARG2,s__Virus) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__invadingVirus,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Shipping) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__cargo,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__destination,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,V__ARG2)))
)

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

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Motion) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__moves,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,V__ARG2)))
)

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

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

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__eventLocated,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__eventPartlyLocated,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Experimenting) &
       s__instance(V__ARG2,s__CognitiveAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__experimenter,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__resourceExhausted,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,V__ARG2)))
)

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

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ChemicalProcess) &
       s__instance(V__ARG2,s__Substance) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__reactant,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__PlacingUnderArrest) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__arrestingOfficer,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Confining) &
       s__instance(V__ARG2,s__Animal) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__detainee,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__LegalAction) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__evidence,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__PlacingUnderArrest) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__arrested,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Game) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__referee,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ServiceProcess) &
       s__instance(V__ARG2,s__CognitiveAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__serviceRecipient,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ComputerProcess) &
       s__instance(V__ARG2,s__ComputerOutputDevice) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__standardOutputDevice,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__agent,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Experimenting) &
       s__instance(V__ARG2,s__Human) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__experimentalSubject,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__objectAttached,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Transfer) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__passenger,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__LegalAction) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__defenseLawyer,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ComputerProcess) &
       s__instance(V__ARG2,s__ComputerInputDevice) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__standardInputDevice,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__FinancialTransaction) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__ARG2,s__WebSite) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__eCommerceSite,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ComputerProcess) &
       s__instance(V__ARG2,s__DigitalData) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__dataProcessed,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ComputerProcess) &
       s__instance(V__ARG2,s__Computer) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__computerRunning,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__LegalAction) &
       s__instance(V__ARG2,s__Human) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__attorney,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__resource,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ChemicalProcess) &
       s__instance(V__ARG2,s__Substance) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__reagent,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Translocation) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__changesLocation,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ComputerProcess) &
       s__instance(V__ARG2,s__UserAccount) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__accountUsed,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ComputerProcess) &
       s__instance(V__ARG2,s__ComputerOutputDevice) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__standardErrorDevice,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__LegalAction) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__prosecutor,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__LegalAction) &
       s__instance(V__ARG2,s__CognitiveAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__plaintiff,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Contest) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__contestParticipant,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Demonstrating) &
       s__instance(V__ARG2,s__Human) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__attends,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__result,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Transportation) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__transported,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Game) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__plays,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__AchievingControl) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__controlled,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ComputerProcess) &
       s__instance(V__ARG2,s__ComputerResource) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__resourceUsed,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__LegalAction) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__witness,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__AchievingControl) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__gainsControl,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Transfer) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__objectTransferred,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Rotating) &
       s__instance(V__ARG2,s__LineInSpace) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__rotationalAxis,s__CaseRole) &
         s__rotationalAxis(V__ARG1,V__ARG2)
       &
       s__instance(V__ARG1,V__PROC)
     &
     s__subclass(V__PROC,s__Process))
   =>
   s__capability(V__PROC,s__rotationalAxis,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Human) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__judge,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__suffers,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__targetInAttack,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Experimenting) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__experimentalControl,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Bidding) &
       s__instance(V__ARG2,s__CurrencyMeasure) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__amountOfBid,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Detaching) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__objectDetached,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,V__ARG2)))
)

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

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Motion) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__path,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ChangeOfControl) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__losesControl,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__ChemicalProcess) &
       s__instance(V__ARG2,s__Substance) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__catalyst,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__Process) &
       s__instance(V__ARG2,s__AutonomousAgent) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__experiencer,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,V__ARG2)))
)

! [V__ARG1,V__ARG2,V__PROC] :
(((s__instance(V__ARG1,s__CriminalAction) &
       s__instance(V__ARG2,s__Object) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Process))
     =>
     ((s__instance(s__victim,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,V__ARG2)))
)

 Merge.kif 4012-4018 If X is an instance of case role, X Y and Z, Y is an instance of W, and W is a subclass of process, then Z is capable of doing W as a X
! [V__Q,V__P] :
((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 7647-7651 If X is an instance of process and the measure of X is Y, then Y is an instance of time dependent quantity
! [V__DEV,V__EV] :
(((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 3145-3153 If X is an instance of electric device, Y is an instance of process, and X is an instrument for Y, then there exists Z such that Z is an instance of electricity and Z is a resource for Y
! [V__A : $i,V__P : $i,V__T : $i] : ((s__holdsDuring(V__T, s__fears(V__A, s__instance(V__P, s__Process))) => s__believes(V__A, s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(V__T), ( ? [V__D:$i] : ((s__instance(V__D, s__Damaging) & s__patient(V__D, V__A) & s__causes(V__P, V__D))))), s__Likely)))) Mid-level-ontology.kif 8696-8708 If X fears Y is an instance of process holds during Z, then X believes the statement there exists W such that W is an instance of damaging, X is a patient of W, and Y causes W holds during immediately after Z has the modal force of likely
! [V__COMMENTING,V__PROCESS] :
(((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__AutonomousAgent) &
         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 17498-17511 If X is an instance of commenting, Y is an instance of process, and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of agent (3) W is an instance of speaking (4) V is an instance of looking (5) Z is an agent of W (6) Z is an agent of V (7) Y is a patient of V (8) W includes a reference to Y
! [V__DEP,V__COMP,V__PHYS] :
(((s__instance(V__DEP,s__Organization) &
       s__instance(V__COMP,s__Organization) &
       s__instance(V__PHYS,s__Class) &
       s__subclass(V__PHYS,s__Physical) &
       s__subclass(V__PHYS,s__Process))
     =>
     (((V__DEP = s__DepartmentOfPreventingFn(V__COMP,V__PHYS))
       &
       s__subclass(V__PHYS,s__Process) &
       s__subOrganization(V__DEP,V__COMP))
   =>
   s__inhibits(V__DEP,V__PHYS)))
)

 Mid-level-ontology.kif 20306-20311 If equal X and Y is preventing Z, Z is a subclass of process, and X is a part of the organization Y, then X inhibits Z
! [V__EVENT,V__OBJ] :
(((s__referee(V__EVENT,V__OBJ)
     &
     s__instance(s__referee,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__referee,V__EVENT))
)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 Mid-level-ontology.kif 25570-25576 If X Y and Z, X is an instance of case role, Y is an instance of process, and Z is an instance of object, then Z plays role in event X for Y
! [V__OBJ,V__ROLE,V__EVENT,V__CLASS,V__TIME,V__PLACE] :
(((s__instance(V__OBJ,s__Object) &
       s__instance(V__ROLE,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__CLASS,s__Class) &
       s__subclass(V__CLASS,s__Process) &
       s__instance(V__TIME,s__TimePosition) &
       s__instance(V__PLACE,s__Object))
     =>
     ((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT)
       &
       s__instance(V__EVENT,V__CLASS)
     &
     s__subclass(V__CLASS,s__Process) &
     s__time(V__EVENT,V__TIME)
   &
   s__eventLocated(V__EVENT,V__PLACE))
=>
s__playsRoleInEventOfType(V__OBJ,V__ROLE,V__CLASS,V__TIME,V__PLACE)))
)

 Mid-level-ontology.kif 25578-25585 If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U
! [V__OBJ,V__ROLE,V__EVENT,V__TYPE,V__TIME,V__PLACE] :
(((s__instance(V__OBJ,s__Object) &
       s__instance(V__ROLE,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__TYPE,s__Class) &
       s__subclass(V__TYPE,s__Process) &
       s__instance(V__TIME,s__TimePosition) &
       s__instance(V__PLACE,s__Object))
     =>
     ((s__playsRoleInEvent(V__OBJ,V__ROLE,V__EVENT)
       &
       s__instance(V__EVENT,V__TYPE)
     &
     s__subclass(V__TYPE,s__Process) &
     s__time(V__EVENT,V__TIME)
   &
   s__eventLocated(V__EVENT,V__PLACE))
=>
s__playsRoleInEventOfType(V__OBJ,V__ROLE,V__TYPE,V__TIME,V__PLACE)))
)

 Mid-level-ontology.kif 25607-25614 If X plays role in event Y for Z, Z is an instance of W, W is a subclass of process, Z exists during V, and Z is located at U, then X plays role in event of type Y for W with V and U
! [V__LOC,V__SUB,V__PROC] :
(((s__instance(V__LOC,s__Object) &
       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 25824-25829 If X is an instance of process, X is located at Y, and Z is a subprocess of X, then Z is located at Y
! [V__M,V__Q,V__O,V__S,V__P] :
(((s__instance(V__M,s__MeasurementAttribute) &
       s__instance(V__Q,s__TimeDuration) &
       s__instance(V__O,s__AutonomousAgent))
     =>
     ((s__memberMeasure(V__S,V__M,V__Q)
       &
       s__instance(V__S,s__Set) &
       s__element(V__O,V__S)
     &
     s__instance(V__P,s__Process) &
     s__agent(V__P,V__O))
=>
s__frequency(s__Process,V__Q)))
)

 Mid-level-ontology.kif 33853-33860 If members of X have the measure Y in terms of Z, X is an instance of set, W is an element of X, V is an instance of process, and W is an agent of V, then process occurs every Y
! [V__Q,V__O,V__S,V__P] :
(((s__instance(V__Q,s__TimeDuration) &
       s__instance(V__O,s__AutonomousAgent))
     =>
     ((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(s__Process,V__Q)))
)

 Mid-level-ontology.kif 33862-33869 If members of X have the measure Y in terms of Frequency, X is an instance of class, Z is an instance of X, W is an instance of process, and Z is an agent of W, then process occurs every Y
! [V__AGENT,V__CATALOG,V__CLASS] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__CATALOG,s__Catalog) &
       s__instance(V__CLASS,s__Class) &
       s__subclass(V__CLASS,s__Process))
     =>
     ((s__offers(V__AGENT,V__CATALOG)
       &
       s__catalogItem(V__CLASS,V__CATALOG)
     &
     s__subclass(V__CLASS,s__Process))
   =>
   s__capability(V__CLASS,s__agent,V__AGENT)))
)

 Catalog.kif 88-93 If X offers items for sale in Y, Z is in Y, and Z is a subclass of process, then X is capable of doing Z as a agent
! [V__AGENT,V__CATALOG,V__CLASS,V__PROCESSINST,V__PROCESS,V__OBJ] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__CATALOG,s__Catalog) &
       s__instance(V__CLASS,s__Class) &
       s__instance(V__PROCESSINST,s__Process) &
       s__instance(V__PROCESS,s__Class) &
       s__subclass(V__PROCESS,s__Process))
     =>
     ((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,V__AGENT)))
)

 Catalog.kif 98-107 If All of the following hold: (1) X offers items for sale in Y (2) Z is in Y (3) Z is a subclass of object (4) W is an instance of V (5) V is a subclass of process (6) U is an instance of Z (7) U is a patient of W, then X is capable of doing V as a agent
! [V__AGENT,V__CATALOG,V__TIMEINT,V__CLASS,V__TIME] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__CATALOG,s__Catalog) &
       s__instance(V__TIMEINT,s__TimeInterval) &
       s__instance(V__CLASS,s__Class) &
       s__subclass(V__CLASS,s__Process) &
       s__instance(V__TIME,s__Class) &
       s__subclass(V__TIME,s__TimeInterval))
     =>
     ((s__offersAtTime(V__AGENT,V__CATALOG,V__TIMEINT)
       &
       s__catalogItem(V__CLASS,V__CATALOG)
     &
     s__subclass(V__CLASS,s__Process) &
     s__instance(V__TIMEINT,V__TIME)
   &
   s__subclass(V__TIME,s__TimeInterval))
=>
s__capabilityDuring(V__CLASS,s__agent,V__AGENT,V__TIME)))
)

 Catalog.kif 130-137 If X offers items for sale in Y during Z, W is in Y, W is a subclass of process, Z is an instance of V, and V is a subclass of timeframe, then X is capable of being a agent in W during V
! [V__AGENT,V__CATALOG,V__TIMEINT,V__CLASS,V__PROCESSINSTANCE,V__PROCESS,V__TIME,V__OBJ] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__CATALOG,s__Catalog) &
       s__instance(V__TIMEINT,s__TimeInterval) &
       s__instance(V__CLASS,s__Class) &
       s__instance(V__PROCESSINSTANCE,s__Process) &
       s__instance(V__PROCESS,s__Class) &
       s__subclass(V__PROCESS,s__Process) &
       s__instance(V__TIME,s__Class) &
       s__subclass(V__TIME,s__TimeInterval))
     =>
     ((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__instance(V__TIMEINT,V__TIME)
&
s__subclass(V__TIME,s__TimeInterval))
=>
s__capabilityDuring(V__PROCESS,s__agent,V__AGENT,V__TIME)))
)

 Catalog.kif 139-150 If All of the following hold: (1) X offers items for sale in Y during Z (2) W is in Y (3) W is a subclass of object (4) V is an instance of U (5) U is a subclass of process (6) T is an instance of W (7) T is a patient of V (8) Z is an instance of S (9) S is a subclass of timeframe, then X is capable of being a agent in U during S
! [V__AGENT1,V__PERSON,V__AGENT2,V__PROCESS1,V__CLASS,V__PROCESS2,V__U,V__TIME1,V__TIME2] :
(((s__instance(V__AGENT1,s__AutonomousAgent) &
       s__instance(V__PERSON,s__AutonomousAgent) &
       s__instance(V__AGENT2,s__AutonomousAgent) &
       s__instance(V__PROCESS1,s__Process) &
       s__instance(V__CLASS,s__Class) &
       s__instance(V__PROCESS2,s__Process) &
       s__instance(V__U,s__UnitOfMeasure) &
       s__instance(V__TIME1,s__RealNumber) &
       s__instance(V__TIME2,s__RealNumber))
     =>
     ((s__subjectiveAttribute(V__AGENT1,s__Quick,V__PERSON)
       &
       s__subjectiveAttribute(V__AGENT2,s__Slow,V__PERSON)
     &
     s__instance(V__PROCESS1,V__CLASS)
   &
   s__instance(V__PROCESS2,V__CLASS)
&
s__subclass(V__CLASS,s__Process) &
s__agent(V__PROCESS1,V__AGENT1)
&
s__agent(V__PROCESS2,V__AGENT2))
=>
(s__instance(V__U,s__UnitOfDuration) &
s__duration(s__WhenFn(V__PROCESS1)
,s__MeasureFn(V__TIME1,V__U))
&
s__duration(s__WhenFn(V__PROCESS2)
,s__MeasureFn(V__TIME2,V__U))
&
s__greaterThan(V__TIME2,V__TIME1))))
)

 Dining.kif 1047-1062 If All of the following hold: (1) X believes Y is quick (2) X believes Z is slow (3) W is an instance of V (4) U is an instance of V (5) V is a subclass of process (6) Y is an agent of W (7) Z is an agent of U, then T is an instance of unit of duration, duration of the time of existence of W is S T(s), duration of the time of existence of U is R T(s), and R is greater than S
! [V__AREA,V__TYPE] :
(((s__instance(V__AREA,s__GeographicArea) &
       s__instance(V__TYPE,s__Class) &
       s__subclass(V__TYPE,s__Physical))
     =>
     ((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 3735-3745 If X is a natural hazard type in area of Y and X is a subclass of process, then there exists Z such that Z is an instance of X, Z is located at Y, and the time of existence of Y overlaps the time of existence of Z
! [V__PH,V__RAINFALL,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 3997-4003 If X is an instance of process, Y is a patient of X, Y is an instance of water, and the measure of Y is Z PH value(s), then Z is less than 5.6
! [V__ROOM : $i,V__SVC : $i] : (((s__roomAmenity(V__ROOM, V__SVC) & s__subclass(V__SVC, s__Process)) => s__modalAttribute(( ? [V__X:$i, V__S:$i, V__HOTEL:$i, V__PROC:$i] : ((s__instance(V__X, V__ROOM) & s__element(V__X, s__PropertyFn(V__HOTEL)) & s__agent(V__S, V__HOTEL) & (s__instance(V__S, V__SVC) | (s__instance(V__PROC, V__SVC) & s__subProcess(V__S, V__PROC))) & s__located(V__S, V__X)))), s__Possibility))) Hotel.kif 317-332 If X is an amenity in Y and X is a subclass of process, then All of the following hold: (1) the statement there exist Z, W,, , V (2) U such that Z is an instance of Y (3) Z is an element of belongings of V (4) V is an agent of W (5) W is an instance of X or U is an instance of X (6) W is a subprocess of U (7) W is located at Z has the modal force of possibility
! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P] :
(((s__instance(V__ROOM,s__Class) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__OBJ,s__Class) &
       s__subclass(V__OBJ,s__Physical) &
       s__instance(V__R,s__TemporaryResidence) &
       s__instance(V__GUEST,s__Human) &
       s__instance(V__HOTEL,s__AutonomousAgent) &
       s__instance(V__O,s__Object))
     =>
     ((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__O,s__MeasureFn(n__0,s__UnitedStatesDollar),V__GUEST)))
)

 Hotel.kif 346-361 If All of the following hold: (1) use of X is free for Y (2) X is a subclass of object (3) Z is an instance of Y (4) W stays at Z (5) Z is an element of belongings of V (6) U is an instance of X (7) U is located at Z (8) T is an instance of process (9) W is an agent of T (10) At least one of the following holds: (1) U is a patient of T (2) U is an instrument for T (3) U is a resource for T, then U is price 0 united states dollar(s) for W
! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S] :
(((s__instance(V__ROOM,s__Class) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Physical) &
       s__instance(V__R,s__TemporaryResidence) &
       s__instance(V__GUEST,s__Human) &
       s__instance(V__HOTEL,s__AutonomousAgent) &
       s__instance(V__P,s__Process) &
       s__instance(V__S,s__Process))
     =>
     ((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_0,s__UnitedStatesDollar),V__GUEST)))
)

 Hotel.kif 364-378 If All of the following hold: (1) use of X is free for Y (2) X is a subclass of process (3) Z is an instance of Y (4) W stays at Z (5) Z is an element of belongings of V (6) W is a patient of U (7) U is an instance of X or T is an instance of X and U is a subprocess of T (8) U is located at Z, then U is price 0.0 united states dollar(s) for W
! [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P] :
(((s__instance(V__ROOM,s__Class) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__OBJ,s__Class) &
       s__subclass(V__OBJ,s__Physical) &
       s__instance(V__R,s__TemporaryResidence) &
       s__instance(V__GUEST,s__Human) &
       s__instance(V__HOTEL,s__AutonomousAgent) &
       s__instance(V__O,s__Object))
     =>
     ((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__R)
|
s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
(? [V__PRICE,V__U] :
((s__instance(V__PRICE,s__RealNumber) &
(s__price(V__O,s__MeasureFn(V__PRICE,V__U)
,V__GUEST)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0)))))))
)

 Hotel.kif 396-417 If All of the following hold: (1) renters of X can pay to use Y (2) Y is a subclass of object (3) Z is an instance of X (4) W stays at Z (5) Z is an element of belongings of V (6) U is an instance of Y (7) U is located at Z (8) T is an instance of process (9) W is an agent of T (10) At least one of the following holds: (1) T is located at Z (2) U is a patient of T (3) U is an instrument for T (4) U is a resource for T, then there exist S and R such that U is price S R(s) for W and R is an instance of unit of currency and S is greater than 0
! [V__ROOM,V__PROC,V__R,V__GUEST,V__HOTEL,V__P,V__S] :
(((s__instance(V__ROOM,s__Class) &
       s__subclass(V__ROOM,s__HotelUnit) &
       s__instance(V__PROC,s__Class) &
       s__subclass(V__PROC,s__Physical) &
       s__instance(V__R,s__TemporaryResidence) &
       s__instance(V__GUEST,s__Human) &
       s__instance(V__HOTEL,s__AutonomousAgent) &
       s__instance(V__P,s__Process) &
       s__instance(V__S,s__Process))
     =>
     ((s__paidRoomAmenity(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))
=>
(? [V__PRICE,V__U] :
((s__instance(V__PRICE,s__RealNumber) &
(s__price(V__P,s__MeasureFn(V__PRICE,V__U)
,V__GUEST)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0)))))))
)

 Hotel.kif 419-438 If All of the following hold: (1) renters of X can pay to use Y (2) Y is a subclass of process (3) Z is an instance of X (4) W stays at Z (5) Z is an element of belongings of V (6) W is a patient of U (7) U is an instance of Y or T is an instance of Y and U is a subprocess of T (8) U is located at Z, then there exist S and R such that U is price S R(s) for W and R is an instance of unit of currency and S is greater than 0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


! [V__ING,V__S] :
(((s__instance(V__ING,s__Class) &
       s__subclass(V__ING,s__Substance) &
       s__instance(V__S,s__Class) &
       s__instance(V__S,s__CorpuscularObject))
     =>
     (s__ingredient(V__ING,V__S)
     =>
     (? [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__S)
     &
     s__result(V__PROC,V__Y))))))
)

 Merge.kif 1289-1297 If X is an ingredient in Y, then there exist Z, W, V such that Z is an instance of process, W is an instance of X, W is a patient of Z, V is an instance of Y, and V is a result of Z
! [V__COLL] :
((s__instance(V__COLL,s__CollectionOfProcesses) =>
     s__memberType(V__COLL,s__Process))
   )

 Merge.kif 1390-1392 If X is an instance of collection, then process is a member type of X
! [V__OBJECT,V__DATE,V__AGENT] :
(((s__instance(V__OBJECT,s__Object) &
       s__instance(V__DATE,s__TimeInterval) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     (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 988-996 If X is used by Y at Z, then there exists W such that W is an instance of process, X is a patient of W, Y is an agent of W, Y uses X, and the time of existence of W overlaps Z
! [V__F : $i] : ((s__instance(V__F, s__Facility) => s__hasPurpose(V__F, ( ? [V__P:$i] : ((s__instance(V__P, s__Process) & s__eventLocated(V__P, V__F))))))) Mid-level-ontology.kif 7849-7855 If X is an instance of Facility, then X has the purpose there exists Y such that Y is an instance of process and Y is located at X
! [V__R] :
((s__instance(V__R,s__Recording) =>
     (? [V__P] :
       ((s__instance(V__P,s__Process) &
           s__record(V__R,V__P)))))
)

 Mid-level-ontology.kif 15993-15998 If X is an instance of recording, then there exists Y such that Y is an instance of process and X is a record of Y
! [V__X] :
((s__instance(V__X,s__VideoRecording) =>
     (? [V__EV] :
       ((s__instance(V__EV,s__Process) &
           s__represents(V__X,V__EV)
         &
         s__capability(s__RadiatingLight,s__patient,V__X)))))
)

 Mid-level-ontology.kif 16038-16044 If X is an instance of video recording, then there exists Y such that Y is an instance of process, X expresses Y, and X is capable of doing radiating light as a patient
! [V__AGENT : $i,V__CUST : $i,V__TICKET : $i] : (((s__issuedBy(V__TICKET, V__AGENT) & s__instance(V__TICKET, s__Ticket) & s__possesses(V__CUST, V__TICKET)) => s__confersNorm(V__AGENT, s__Permission, ( ? [V__T:$i] : (s__holdsDuring(V__T, ( ? [V__P:$i] : ((s__instance(V__P, s__Process) & s__agent(V__P, V__AGENT) & s__experiencer(V__P, V__CUST)))))))))) Mid-level-ontology.kif 18156-18168 If X is an issued by of Y, Y is an instance of ticket, and Z possesses Y, then X confers norm permission for there exists W such that there exists V such that V is an instance of process, X is an agent of V, and Z experiences V holds during W
! [V__A] :
((s__instance(V__A,s__Awarding) =>
     (? [V__RECIPIENT,V__GIVER,V__PROCESS,V__AWARD] :
       ((s__instance(V__RECIPIENT,s__AutonomousAgent) &
           s__instance(V__GIVER,s__AutonomousAgent) &
           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 20567-20579 If X is an instance of awarding, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of agent (3) Z is an instance of agent (4) W is an instance of process (5) V is an instance of object (6) Y is an agent of W (7) Z is an agent of X (8) V is a patient of X (9) X ends up at Y (10) W causes X
! [V__R,V__A] :
(((s__instance(V__R,s__Human) &
       s__instance(V__A,s__AutonomousAgent) &
       s__instance(V__A,s__Recording))
     =>
     (s__produced(V__R,V__A)
     =>
     (? [V__M,V__P] :
       ((s__instance(V__M,s__Managing) &
           s__agent(V__M,V__A)
         &
         s__patient(V__M,V__P)
       &
       s__instance(V__P,s__Process) &
       s__result(V__P,V__R))))))
)

 Mid-level-ontology.kif 22935-22943 If X produces Y, then there exist Z, W such that Z is an instance of managing, X is an agent of Z, W is a patient of Z, W is an instance of process, and Y is a result of W
! [V__H : $i] : ((s__attribute(V__H, s__NewsReporter) => s__hasPurpose(V__H, ( ? [V__EV:$i, V__T:$i, V__NEWS:$i] : ((s__instance(V__EV, s__Process) & s__overlapsTemporally(s__WhenFn(V__EV), s__WhenFn(V__H)) & s__instance(V__T, V__NEWS) & (s__subclass(V__NEWS, s__Newspaper) | s__subclass(V__NEWS, s__NewsProgram)) & s__authors(V__H, V__NEWS) & s__refers(V__T, V__EV))))))) Mid-level-ontology.kif 23308-23322 If news reporter is an attribute of X, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of process (3) the time of existence of X overlaps the time of existence of Y (4) Z is an instance of W (5) W is a subclass of newspaper or W is a subclass of newsprogram (6) X is the author of W (7) Z includes a reference to Y
! [V__X : $i] : ((s__instance(V__X, s__Earphone) => s__hasPurpose(V__X, ( ? [V__ES:$i, V__RS:$i, V__SIGNAL:$i, V__EAR:$i, V__PROC:$i] : ((s__instance(V__ES, s__ElectricalSignalling) & s__patient(V__ES, V__SIGNAL) & s__destination(V__ES, V__X) & s__instance(V__PROC, s__Process) & s__instrument(V__PROC, V__X) & s__patient(V__PROC, V__SIGNAL) & s__result(V__PROC, V__RS) & s__instance(V__RS, s__RadiatingSound) & s__origin(V__RS, V__X) & s__before(s__BeginFn(s__WhenFn(V__ES)), s__BeginFn(s__WhenFn(V__PROC))) & s__before(s__BeginFn(s__WhenFn(V__PROC)), s__BeginFn(s__WhenFn(V__RS))) & s__instance(V__EAR, s__Ear) & s__orientation(V__X, V__EAR, s__Adjacent))))))) Mid-level-ontology.kif 28623-28644 If X is an instance of earphone, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of electrical signalling (3) W is a patient of Y (4) Y ends up at X (5) U is an instance of process (6) X is an instrument for U (7) W is a patient of U (8) Z is a result of U (9) Z is an instance of radiating sound (10) Z originates at X (11) the beginning of the time of existence of Y happens before the beginning of the time of existence of U (12) the beginning of the time of existence of U happens before the beginning of the time of existence of Z (13) V is an instance of ear (14) X is adjacent to V
! [V__OBJ,V__MEAS] :
(((s__instance(V__OBJ,s__PowerSource) &
       s__instance(V__MEAS,s__PhysicalQuantity))
     =>
     (s__voltageMeasure(V__OBJ,V__MEAS)
     =>
     (? [V__ELEC,V__PROC] :
       ((s__instance(V__ELEC,s__Electricity) &
           s__instance(V__PROC,s__Process) &
           s__instrument(V__PROC,V__OBJ)
         &
         s__result(V__PROC,V__ELEC)
       &
       s__measure(V__ELEC,V__MEAS))))))
)

 Mid-level-ontology.kif 28933-28941 If the voltage of X is Y, then there exist Z, W such that Z is an instance of electricity, W is an instance of process, X is an instrument for W, Z is a result of W, and the measure of Z is Y
! [V__X : $i] : ((s__instance(V__X, s__Tripod) => s__hasPurpose(V__X, ( ? [V__OBJ:$i, V__PUT:$i, V__PROC:$i] : ((s__instance(V__OBJ, s__Artifact) & s__instance(V__PUT, s__Putting) & s__patient(V__PUT, V__OBJ) & s__destination(V__PUT, V__X) & s__instance(V__PROC, s__Process) & s__instrument(V__PROC, V__OBJ) & s__before(s__EndFn(s__WhenFn(V__PUT)), s__BeginFn(s__WhenFn(V__PROC))))))))) Mid-level-ontology.kif 29313-29326 If X is an instance of tripod, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of artifact (3) Z is an instance of putting (4) Y is a patient of Z (5) Z ends up at X (6) W is an instance of process (7) Y is an instrument for W (8) the end of the time of existence of Z happens before the beginning of the time of existence of W
! [V__DISPLAY : $i,V__LOC1 : $i,V__LOC2 : $i,V__VIDEO : $i,V__X : $i] : (((s__instance(V__X, s__SurveillanceSystem) & s__member(V__X, V__VIDEO) & s__member(V__X, V__DISPLAY) & s__located(V__VIDEO, V__LOC1) & s__instance(V__VIDEO, s__Camera) & s__located(V__DISPLAY, V__LOC2) & ~(V__LOC1 = V__LOC2) & s__instance(V__DISPLAY, s__VideoDisplay)) => s__hasPurpose(V__X, ( ? [V__PROC:$i, V__VID:$i, V__RL:$i, V__CAPTURE:$i] : ((s__instance(V__PROC, s__Process) & s__eventLocated(V__PROC, V__LOC1) & s__represents(V__VID, V__PROC) & s__instrument(V__CAPTURE, s__Camera) & s__result(V__CAPTURE, V__VID) & s__instance(V__RL, s__RadiatingLight) & s__instrument(V__RL, V__DISPLAY) & s__patient(V__RL, V__VID) & s__before(s__BeginFn(V__PROC), s__BeginFn(V__CAPTURE)) & s__before(s__BeginFn(V__CAPTURE), s__BeginFn(V__RL)))))))) Mid-level-ontology.kif 29567-29593 If All of the following hold: (1) X is an instance of surveillance system (2) X is a member of Y (3) X is a member of Z (4) Y is located at W (5) Y is an instance of camera (6) Z is located at V (7) equal W and V (8) Z is an instance of video display, then All of the following hold: (1) X has the purpose there exist U, T,, , S (2) R such that U is an instance of process (3) U is located at W (4) T expresses U (5) camera is an instrument for R (6) T is a result of R (7) S is an instance of radiating light (8) Z is an instrument for S (9) T is a patient of S (10) the beginning of U happens before the beginning of R (11) the beginning of R happens before the beginning of S
! [V__A1 : $i,V__X : $i] : (((s__instance(V__X, s__BreakingRecord) & s__agent(V__X, V__A1)) => ( ? [V__AC:$i, V__PC:$i, V__P1:$i, V__TP:$i, V__ROLE:$i, V__L:$i, V__Q:$i] : ((s__instance(V__AC, s__Set) & s__element(V__A1, V__AC) & s__subclass(V__PC, s__Process) & s__instance(V__L, s__Region) & s__instance(V__TP, s__TimePoint) & s__instance(V__Q, s__Quantity) & s__instance(V__P1, V__PC) & s__refers(V__X, V__Q) & s__refers(V__Q, V__P1) & s__playsRoleInEvent(V__A1, V__ROLE, V__P1) & s__eventLocated(V__P1, V__L) & ~(( ? [V__A2:$i, V__P2:$i] : ((s__instance(V__A2, V__AC) & ~(V__A2 = V__A1) & s__instance(V__P2, V__PC) & s__holdsDuring(s__TimeIntervalFn(V__TP, s__EndFn(s__WhenFn(V__X))), (s__playsRoleInEvent(V__A2, V__ROLE, V__P2) & s__eventLocated(V__P2, V__L)))))))))))) Mid-level-ontology.kif 32629-32659 If X is an instance of breaking record and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T,, , S (2) R such that Z is an instance of set (3) Y is an element of Z (4) W is a subclass of process (5) S is an instance of region (6) U is an instance of time point (7) R is an instance of quantity (8) V is an instance of W (9) X includes a reference to R (10) R includes a reference to V (11) Y plays role in event T for V (12) V is located at S (13) there don't exist Q (14) P such that Q is an instance of Z (15) equal Q (16) Y (17) P is an instance of W (18) Q plays role in event T for P (19) P is located at S holds during interval between U (20) the end of the time of existence of X
! [V__T : $i,V__X : $i] : ((s__holdsDuring(V__T, s__attribute(V__X, s__SafetyPosition)) => s__holdsDuring(V__T, s__hasPurpose(V__X, ( ? [V__P:$i, V__H:$i, V__I:$i, V__T2:$i] : ((s__instance(V__H, s__Human) & s__instance(V__P, s__Process) & s__patient(V__P, V__H) & s__agent(V__P, V__X) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & (s__holdsDuring(V__T2, s__experiencer(V__I, V__H)) => ~(s__holdsDuring(V__T2, s__patient(V__P, V__H)))))))))))))) Mid-level-ontology.kif 33327-33347 If safety position is an attribute of X holds during Y, then X has the purpose there exist Z, W,, , V, U such that W is an instance of human, Z is an instance of process, W is a patient of Z, X is an agent of Z, and Z prevents the occurrence of the class described by V holds during Y
! [V__X : $i] : ((s__instance(V__X, s__SafetyDevice) => s__hasPurpose(V__X, ( ? [V__P:$i, V__H:$i, V__I:$i, V__T:$i] : ((s__instance(V__H, s__Human) & s__instance(V__P, s__Process) & s__patient(V__P, V__H) & s__instrument(V__P, V__X) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & (s__holdsDuring(V__T, s__experiencer(V__I, V__H)) => ~(s__holdsDuring(V__T, s__patient(V__P, V__H))))))))))))) Mid-level-ontology.kif 33439-33457 If X is an instance of safety device, then X has the purpose there exist Y, Z,, , W, V such that Z is an instance of human, Y is an instance of process, Z is a patient of Y, X is an instrument for Y, and Y prevents the occurrence of the class described by W
! [V__M,V__Q,V__O,V__S,V__P] :
(((s__instance(V__M,s__MeasurementAttribute) &
       s__instance(V__Q,s__TimeDuration) &
       s__instance(V__O,s__AutonomousAgent))
     =>
     ((s__memberMeasure(V__S,V__M,V__Q)
       &
       s__instance(V__S,s__Set) &
       s__element(V__O,V__S)
     &
     s__instance(V__P,s__Process) &
     s__agent(V__P,V__O))
=>
s__frequency(s__Process,V__Q)))
)

 Mid-level-ontology.kif 33853-33860 If members of X have the measure Y in terms of Z, X is an instance of set, W is an element of X, V is an instance of process, and W is an agent of V, then process occurs every Y
! [V__Q,V__O,V__S,V__P] :
(((s__instance(V__Q,s__TimeDuration) &
       s__instance(V__O,s__AutonomousAgent))
     =>
     ((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(s__Process,V__Q)))
)

 Mid-level-ontology.kif 33862-33869 If members of X have the measure Y in terms of Frequency, X is an instance of class, Z is an instance of X, W is an instance of process, and Z is an agent of W, then process occurs every Y
! [V__A : $i,V__D : $i,V__TEXT : $i] : (((s__instance(V__TEXT, s__DeathCertificate) & s__instance(V__D, s__Death) & s__instance(V__A, s__Human) & s__experiencer(V__D, V__A)) => s__containsFormula(V__TEXT, ( ? [V__DAY:$i, V__P:$i, V__N:$i, V__PROC:$i] : ((s__deathdate(V__A, V__DAY) & s__instance(V__DAY, s__Day) & s__deathplace(V__A, V__P) & s__instance(V__P, s__GeographicArea) & s__represents(V__N, V__A) & s__instance(V__N, s__Name) & s__causes(V__PROC, V__D) & s__instance(V__PROC, s__Process))))))) Biography.kif 287-303 If X is an instance of death certificate, Y is an instance of death, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V,, , U (2) T such that W is a deathdate of Z (3) W is an instance of day (4) V is a deathplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name (8) T causes Y (9) T is an instance of process
! [V__G : $i] : ((s__instance(V__G, s__Generator) => s__hasPurpose(V__G, ( ? [V__P:$i, V__E:$i] : ((s__instance(V__P, s__Process) & s__instance(V__E, s__Electricity) & s__result(V__P, V__E) & s__instrument(V__P, V__G))))))) Cars.kif 1132-1140 If X is an instance of generator, then X has the purpose there exist Y, Z such that Y is an instance of process, Z is an instance of electricity, Z is a result of Y, and X is an instrument for Y
! [V__H : $i] : ((s__instance(V__H, s__HydraulicFluid) => s__hasPurpose(V__H, ( ? [V__P:$i] : ((s__instance(V__P, s__Process) & s__instrument(V__P, V__H) & s__holdsDuring(s__WhenFn(V__P), s__attribute(V__H, s__Liquid)))))))) Cars.kif 1472-1481 If X is an instance of hydraulic fluid, then X has the purpose there exists Y such that Y is an instance of process, X is an instrument for Y, and liquid is an attribute of X holds during the time of existence of Y
! [V__ECM : $i] : ((s__instance(V__ECM, s__EngineControlModule) => s__hasPurpose(V__ECM, ( ? [V__A:$i, V__E:$i, V__P1:$i, V__P2:$i] : ((s__instance(V__A, s__Automobile) & s__instance(V__E, s__Engine) & s__instance(V__P1, s__Process) & s__instance(V__P2, s__Process) & s__part(V__E, V__A) & s__part(V__ECM, V__A) & s__eventLocated(V__P1, V__ECM) & s__eventLocated(V__P2, V__E) & s__causes(V__P1, V__P2))))))) Cars.kif 2353-2366 If X is an instance of engine control module, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of automobile (3) Z is an instance of engine (4) W is an instance of process (5) V is an instance of process (6) Z is a part of Y (7) X is a part of Y (8) W is located at X (9) V is located at Z (10) W causes V
! [V__PERSON : $i,V__SH : $i] : (((s__instance(V__SH, s__SafetyHarness) & s__instance(V__PERSON, s__Animal) & s__wears(V__PERSON, V__SH)) => s__hasPurpose(V__SH, ( ? [V__PROC:$i, V__INJ:$i, V__I:$i] : ((s__instance(V__PROC, s__Process) & s__instrument(V__PROC, V__SH) & s__patient(V__PROC, V__PERSON) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__F:$i, V__H:$i, V__T:$i] : ((s__instance(V__H, s__Human) & s__experiencer(V__I, V__H) & s__instance(V__F, s__Falling) & s__experiencer(V__F, V__H) & s__causes(V__F, V__I) & (s__holdsDuring(V__T, s__experiencer(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROC, V__PERSON)))))))))) & s__prevents(V__PROC, V__INJ))))))) Cars.kif 3254-3282 If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W
! [V__HP : $i,V__PERSON : $i] : (((s__instance(V__HP, s__HearingProtection) & s__instance(V__PERSON, s__Human) & s__wears(V__PERSON, V__HP)) => s__hasPurpose(V__HP, ( ? [V__PROC:$i, V__INJ:$i, V__I:$i] : ((s__instance(V__PROC, s__Process) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__SOUND:$i, V__HEAR:$i, V__HUMAN:$i, V__T:$i] : ((s__instance(V__SOUND, s__RadiatingSound) & s__instance(V__HEAR, s__Hearing) & s__instance(V__HUMAN, s__Human) & s__patient(V__HEAR, V__SOUND) & s__experiencer(V__HEAR, V__HUMAN) & s__causes(V__HEAR, V__I) & s__experiencer(V__I, V__HUMAN) & (s__holdsDuring(V__T, s__experiencer(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROC, V__PERSON)))))))))) & s__prevents(V__PROC, V__INJ) & s__instrument(V__PROC, V__HP))))))) Cars.kif 3312-3341 If X is an instance of hearing protection, Y is an instance of human, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, W is a subclass of the class described by V, Z prevents the occurrence of W, and X is an instrument for Z

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 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners