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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - capability
capability

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


s__documentation(s__capability__m,s__ChineseLanguage,'"(capability ?PROCESS ?ROLE ?OBJ) 的意思是 ?OBJ 由能力在 ?PROCESS 类型的 Process 担任 ?ROLE 的本分。"')

chinese_format.kif 2086-2087
s__documentation(s__capability__m,s__EnglishLanguage,'"(capability ?PROCESS ?ROLE ?OBJ) means that ?OBJ has the ability to play the role of ?ROLE in Processes of type ?PROCESS."')

Merge.kif 3778-3780
s__domain(s__capability__m,n__2,s__CaseRole)

Merge.kif 3775-3775 The number 2 argument of capability is an instance of case role
s__domain(s__capability__m,n__3,s__Object)

Merge.kif 3776-3776 The number 3 argument of capability is an instance of object
s__domainSubclass(s__capability__m,n__1,s__Process)

Merge.kif 3774-3774 The number 1 argument of capability is a subclass of process
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__capability__m,s__TernaryPredicate)

Merge.kif 3773-3773 capability is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__capability__m,'"%3 %n 能够担当 %2 的角色做 %1"')

chinese_format.kif 67-67
s__format(s__EnglishLanguage,s__capability__m,'"%3 is %n capable of doing %1 as a %2"')

english_format.kif 67-67
s__termFormat(s__ChineseLanguage,s__capability__m,'"能力"')

domainEnglishFormat.kif 13023-13023
s__termFormat(s__ChineseLanguage,s__capability__m,'"能够"')

chinese_format.kif 68-68
s__termFormat(s__ChineseTraditionalLanguage,s__capability__m,'"能力"')

domainEnglishFormat.kif 13022-13022
s__termFormat(s__EnglishLanguage,s__capability__m,'"capability"')

domainEnglishFormat.kif 13021-13021

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 125-134
( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       (((s__attribute(V__X,s__TravelerAccommodation) &
             s__capability(s__RoomCleaningService,s__agent__m,V__X))
         =>
         (( ? [V__MAID, V__HOTELROOM] :
             ((s__instance(V__MAID,s__CognitiveAgent) &
                 (s__employs(V__X,V__MAID)
                 &
                 s__attribute(V__MAID,s__Maid) &
                 s__instance(V__HOTELROOM,s__HotelUnit) &
                 s__part(V__HOTELROOM,s__PropertyFn(V__X))
             &
             s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
           &
           s__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID)))))))))
)
)

Hotel.kif 1897-1908
( ! [V__PC,V__MV,V__ROLE] :
   (((s__instance(V__PC,s__Class) &
         s__subclass(V__PC,s__Process) &
         s__instance(V__MV,s__Object) &
         s__instance(V__ROLE,s__CaseRole))
       =>
       (((s__capability(V__PC,V__ROLE,V__MV)
           &
           s__subclass(V__PC,s__Shooting))
         =>
         (( ? [V__WEAPON] :
             ((s__instance(V__WEAPON,s__Weapon) &
                 s__part(V__WEAPON,V__MV)
               &
               s__capability(V__PC,V__ROLE,V__WEAPON))))))))
)
)

MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
( ! [V__PORT] :
   (((s__instance(V__PORT,s__PortFacility) &
         s__capability(s__ShipBerthing,s__patient__m,V__PORT))
     =>
     (( ? [V__HARBOR] :
         ((s__instance(V__HARBOR,s__Harbor) &
             s__connected(V__HARBOR,V__PORT)
           &
           s__capability(s__ShipBerthing,s__path__m,V__HARBOR))))))
)
)

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

UXExperimentalTerms.kif 4448-4471
( ! [V__SUBJECT,V__EXPERIMENT1,V__TESTCOL2,V__TESTCOL1] :
   (((s__subclass(V__EXPERIMENT1,s__Process) &
         s__instance(V__TESTCOL2,s__Collection) &
         s__instance(V__TESTCOL1,s__Collection))
       =>
       (((s__orthogonalTests(V__TESTCOL1,V__TESTCOL2)
           &
           s__instance(V__SUBJECT,s__Human) &
           s__instance(V__EXPERIMENT1,s__Experimenting) &
           s__member(V__EXPERIMENT1,V__TESTCOL1)
         &
         s__capability(V__EXPERIMENT1,s__experimentalSubject__m,V__SUBJECT))
     =>
     (( ? [V__EXPERIMENT2] :
         ((s__instance(V__EXPERIMENT2,s__Experimenting) &
             s__member(V__EXPERIMENT2,V__TESTCOL2)
           &
           s__capability(V__EXPERIMENT2,s__experimentalSubject__m,V__SUBJECT))))))))
)
)

UXExperimentalTerms.kif 4670-4681
( ! [V__AGENT,V__POLITY,V__ELECTION] :
   (((s__instance(V__AGENT,s__Human) &
         s__instance(V__POLITY,s__Nation) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
         &
         s__citizen(V__AGENT,V__POLITY)
       &
       s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
   &
   s__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))
=>
(s__attribute(V__AGENT,s__Male)))))
)
)

Government.kif 1236-1242
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT)
   &
   s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)))
=>
(s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))
)
)

Government.kif 1038-1046
( ! [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMaximum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT))
=>
(( ? [V__AGE] :
     ((s__instance(V__AGE,s__RealNumber) &
         (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
         &
         s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 1026-1036
( ! [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__AGE,s__RealNumber) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT)
   &
   s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration)))
=>
(s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))
)
)

Government.kif 966-974
( ! [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION] :
   (((s__instance(V__AGENT,s__Object) &
         s__instance(V__POLITY,s__Agent) &
         s__instance(V__VOTINGAGE,s__RealNumber) &
         s__instance(V__ELECTION,s__Election))
       =>
       (((s__suffrageAgeMinimum(V__POLITY,s__MeasureFn(V__VOTINGAGE,s__YearDuration))
           &
           s__instance(V__ELECTION,s__ElectionFn(V__POLITY))
       &
       s__capability(s__VotingFn(V__ELECTION)
    ,s__agent__m,V__AGENT))
=>
(( ? [V__AGE] :
     ((s__instance(V__AGE,s__RealNumber) &
         (s__age(V__AGENT,s__MeasureFn(V__AGE,s__YearDuration))
         &
         s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))))))))
)
)

Government.kif 954-964
( ! [V__WEAPON,V__PC,V__COUNT,V__MV,V__WC,V__ROLE] :
   (((s__instance(V__WEAPON,s__Object) &
         s__instance(V__PC,s__Class) &
         s__subclass(V__PC,s__Process) &
         s__instance(V__COUNT,s__PositiveInteger) &
         s__instance(V__MV,s__MilitaryVehicle) &
         s__instance(V__WC,s__Class) &
         s__subclass(V__WC,s__Weapon) &
         s__instance(V__ROLE,s__CaseRole))
       =>
       (((s__weaponCarryingCapability(V__MV,V__WC,V__COUNT)
           &
           s__instance(V__WEAPON,V__WC)
         &
         s__capability(V__PC,V__ROLE,V__WEAPON)
       &
       (s__subclass(V__PC,s__Shooting) |
         s__subclass(V__PC,s__Damaging)))
     =>
     (s__capability(V__PC,V__ROLE,V__MV)))))
)
)

MilitaryDevices.kif 35-43
No TPTP formula. May not be expressible in strict first order. Merge.kif 3790-3796
( ! [V__ANIMAL] :
   ((s__instance(V__ANIMAL,s__CorpuscularObject) =>
       ((s__capability(s__Breathing,s__experiencer__m,V__ANIMAL)
         =>
         (( ? [V__LUNG] :
             ((s__component(V__LUNG,V__ANIMAL)
               &
               s__instance(V__LUNG,s__Lung))))))))
)
)

Mid-level-ontology.kif 10192-10197
( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       ((s__capability(s__ChildCareService,s__agent__m,V__X)
         =>
         (( ? [V__SITTER] :
             ((s__instance(V__SITTER,s__CognitiveAgent) &
                 (s__employs(V__X,V__SITTER)
                 &
                 s__capability(s__ChildCareService,s__serviceProvider__m,V__SITTER)))))))))
)
)

Hotel.kif 1845-1850
( ! [V__AGENT] :
   ((s__instance(V__AGENT,s__Organization) =>
       ((s__capability(s__ValetParking,s__agent__m,V__AGENT)
         =>
         (( ? [V__VALET] :
             ((s__instance(V__VALET,s__Human) &
                 s__occupiesPosition(V__VALET,s__Valet,V__AGENT))))))))
)
)

TransportDetail.kif 148-151
No TPTP formula. May not be expressible in strict first order. Law.kif 427-431

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1511-1517 An entity is an instance of LegalAgent holds during a time position if and only if the entity is capable of doing legal action as a agent or the entity is capable of doing legal action as a patient holds during the time position
( ! [V__AGENT,V__ACT] :
   (((s__instance(V__AGENT,s__Agent) &
         s__subclass(V__ACT,s__Process))
       =>
       ((s__activityCapability(V__AGENT,V__ACT)
         =>
         (( ? [V__LOC] :
             ((s__instance(V__LOC,s__Object) &
                 (s__element(V__LOC,s__PropertyFn(V__AGENT))
               &
               s__capability(V__ACT,s__located__m,V__LOC)))))))))
)
)

Hotel.kif 578-583
( ! [V__BC,V__AC,V__A,V__B,V__F,V__H,V__PART] :
   (((s__subclass(V__A,s__Muscle) &
         s__instance(V__A,s__Object) &
         s__instance(V__A,s__Class) &
         s__subclass(V__B,s__Muscle) &
         s__instance(V__B,s__Class) &
         s__instance(V__B,s__Object) &
         s__subclass(V__B,s__Process))
       =>
       (((s__antagonistMuscles(V__A,V__B)
           &
           s__instance(V__F,s__Extension) &
           s__instrument(V__F,V__A)
         &
         s__moved(V__F,V__PART)
       &
       s__instance(V__AC,V__A)
     &
     s__instance(V__BC,V__B)
   &
   s__part(V__A,V__H)
&
s__part(V__B,V__H)
&
s__instance(V__H,s__Mammal))
=>
(s__capability(V__B,s__instrument__m,s__Flexion)))))
)
)

Mid-level-ontology.kif 9690-9701
( ! [V__BC,V__AC,V__A,V__B,V__F,V__H,V__PART] :
   (((s__subclass(V__A,s__Muscle) &
         s__instance(V__A,s__Object) &
         s__instance(V__A,s__Class) &
         s__subclass(V__B,s__Muscle) &
         s__instance(V__B,s__Class) &
         s__instance(V__B,s__Object) &
         s__subclass(V__B,s__Process))
       =>
       (((s__antagonistMuscles(V__A,V__B)
           &
           s__instance(V__F,s__Flexion) &
           s__instrument(V__F,V__A)
         &
         s__moved(V__F,V__PART)
       &
       s__instance(V__AC,V__A)
     &
     s__instance(V__BC,V__B)
   &
   s__part(V__A,V__H)
&
s__part(V__B,V__H)
&
s__instance(V__H,s__Mammal))
=>
(s__capability(V__B,s__instrument__m,s__Extension)))))
)
)

Mid-level-ontology.kif 9677-9688
( ! [V__X] :
   ((s__instance(V__X,s__Agent) =>
       (((s__attribute(V__X,s__TravelerAccommodation) &
             s__capability(s__RoomCleaningService,s__agent__m,V__X))
         =>
         (( ? [V__MAID, V__HOTELROOM] :
             ((s__instance(V__MAID,s__CognitiveAgent) &
                 (s__employs(V__X,V__MAID)
                 &
                 s__attribute(V__MAID,s__Maid) &
                 s__instance(V__HOTELROOM,s__HotelUnit) &
                 s__part(V__HOTELROOM,s__PropertyFn(V__X))
             &
             s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
           &
           s__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID)))))))))
)
)

Hotel.kif 1897-1908
( ! [V__PC,V__MV,V__ROLE] :
   (((s__instance(V__PC,s__Class) &
         s__subclass(V__PC,s__Process) &
         s__instance(V__MV,s__Object) &
         s__instance(V__ROLE,s__CaseRole))
       =>
       (((s__capability(V__PC,V__ROLE,V__MV)
           &
           s__subclass(V__PC,s__Shooting))
         =>
         (( ? [V__WEAPON] :
             ((s__instance(V__WEAPON,s__Weapon) &
                 s__part(V__WEAPON,V__MV)
               &
               s__capability(V__PC,V__ROLE,V__WEAPON))))))))
)
)

MilitaryDevices.kif 48-56
( ! [V__COD,V__C] :
   (((s__subclass(V__COD,s__Process) &
         s__instance(V__C,s__Computer))
       =>
       (((s__connectedPeripheral(V__COD,V__C)
           &
           s__instance(V__COD,s__ComputerInputDevice))
         =>
         (s__capability(V__COD,s__origin__m,s__DataTransfer)))))
   )
)

ComputingBrands.kif 3524-3528
( ! [V__COD,V__C] :
   (((s__subclass(V__COD,s__Process) &
         s__instance(V__C,s__Computer))
       =>
       (((s__connectedPeripheral(V__COD,V__C)
           &
           s__instance(V__COD,s__ComputerOutputDevice))
         =>
         (s__capability(V__COD,s__destination__m,s__DataTransfer)))))
   )
)

ComputingBrands.kif 3518-3522
( ! [V__Agent,V__Bond] :
   ((s__instance(V__Agent,s__CognitiveAgent) =>
       (((s__instance(V__Bond,s__CallableBond) &
             s__issuedBy(V__Bond,V__Agent))
         =>
         (s__capability(s__Call,s__agent__m,V__Agent)))))
)
)

FinancialOntology.kif 2439-2443
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3469-3483
( ! [V__AGENT,V__D] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__D,s__DeliveryService) &
             s__agent(V__D,V__AGENT))
         =>
         (s__capability(s__DeliveryService,s__agent__m,V__AGENT)))))
)
)

Dining.kif 487-491
( ! [V__AGENT,V__DISEASE] :
   ((s__instance(V__AGENT,s__Object) =>
       (((s__instance(V__DISEASE,s__LifeThreateningDisease) &
             s__attribute(V__AGENT,V__DISEASE))
         =>
         (s__capability(s__Death,s__experiencer__m,V__AGENT)))))
)
)

WMD.kif 1015-1019
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1355-1373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1334-1351
( ! [V__HARBOR,V__NUM] :
   ((s__instance(V__NUM,s__Quantity) =>
       (((s__instance(V__HARBOR,s__Harbor) &
             s__equipmentCount(V__HARBOR,s__ShipBerth,V__NUM)
           &
           s__greaterThan(V__NUM,n__0))
       =>
       (s__capability(s__ShipBerthing,s__path__m,V__HARBOR)))))
)
)

Transportation.kif 2949-2954
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__BuildingMaterialAndGardenEquipmentAndSuppliesDealers))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__THING,s__Object) &
                   (s__capability(s__Constructing,s__resource__m,V__THING)
                   |
                   s__capability(s__Agriculture,s__resource__m,V__THING))
               &
               s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7249-7264
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__SportingGoodsHobbyBookAndMusicStores))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__THING,s__Object) &
                   (s__capability(s__Sport,s__instrument__m,V__THING)
                   |
                   s__capability(s__MakingMusic,s__instrument__m,V__THING)
                 |
                 s__instance(V__THING,s__Book) |
                 s__instance(V__THING,s__MusicRecording) |
                 s__instance(V__THING,s__MusicText))
               &
               s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7607-7625
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__Utilities))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   ((s__instance(V__EV,s__Removing) |
                       s__instance(V__THING,s__Sewage))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   (s__instance(V__THING,s__Electron) |
                     s__instance(V__THING,s__Water) |
                     (s__instance(V__THING,s__PureSubstance) &
                       s__capability(s__Combustion,s__patient__m,V__THING)))
                 &
                 s__member(V__MEM2,V__ORG)
               &
               s__instance(V__EV2,s__FinancialTransaction) &
               s__agent(V__EV2,V__MEM2)
             &
             s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 954-977
( ! [V__AGENT,V__P] :
   ((s__instance(V__AGENT,s__Object) =>
       (((s__instance(V__P,s__BankCardPayment) &
             s__destination(V__P,V__AGENT))
         =>
         (s__capability(s__BankCardPayment,s__destination__m,V__AGENT)))))
)
)

Dining.kif 410-414
( ! [V__P,V__REST] :
   (((s__subclass(V__P,s__Process) &
         s__instance(V__REST,s__Agent))
       =>
       (((s__instance(V__P,s__CateringService) &
             s__agent(V__P,V__REST))
         =>
         (s__capability(V__P,s__agent__m,V__REST)))))
)
)

Dining.kif 534-538
( ! [V__PORT] :
   (((s__instance(V__PORT,s__PortFacility) &
         s__capability(s__ShipBerthing,s__patient__m,V__PORT))
     =>
     (( ? [V__HARBOR] :
         ((s__instance(V__HARBOR,s__Harbor) &
             s__connected(V__HARBOR,V__PORT)
           &
           s__capability(s__ShipBerthing,s__path__m,V__HARBOR))))))
)
)

Transportation.kif 2956-2964
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 233-245
( ! [V__PROC,V__ARG1,V__ARG2] :
   (((s__instance(V__PROC,s__Class) &
         s__subclass(V__PROC,s__Process) &
         s__instance(V__ARG1,s__LegalAction) &
         s__instance(V__ARG2,s__Object))
       =>
       (((s__instance(s__witness__m,s__CaseRole) &
             s__witness(V__ARG1,V__ARG2)
           &
           s__instance(V__ARG1,V__PROC)
         &
         s__subclass(V__PROC,s__Process))
       =>
       (s__capability(V__PROC,s__witness__m,V__ARG2)))))
)
)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Merge.kif 3782-3788
( ! [V__STAGE,V__AUDITORIUM,V__SEE,V__SEAT,V__PERSON] :
   (((s__instance(V__SEE,s__Class) &
         s__subclass(V__SEE,s__Process))
       =>
       (((s__instance(V__SEAT,s__AuditoriumSeat) &
             s__part(V__SEAT,V__AUDITORIUM)
           &
           s__part(V__STAGE,V__AUDITORIUM)
         &
         s__instance(V__AUDITORIUM,s__Auditorium) &
         s__instance(V__STAGE,s__PerformanceStage) &
         s__located(V__PERSON,V__SEAT)
       &
       s__instance(V__PERSON,s__Human) &
       s__subclass(V__SEE,s__Seeing) &
       ( ! [V__INST] :
         ((s__instance(V__INST,s__Process) =>
             ((s__instance(V__INST,V__SEE)
               =>
               (s__patient(V__INST,V__STAGE))))))))
=>
(s__capability(V__SEE,s__agent__m,V__PERSON)))))
)
)

Mid-level-ontology.kif 6899-6913
( ! [V__A,V__S,V__SI] :
   (((s__instance(V__A,s__Object) &
         s__subclass(V__S,s__PhysiologicProcess) &
         s__subclass(V__S,s__Process) &
         s__instance(V__SI,s__Process))
       =>
       (((s__instance(V__SI,s__ImpairmentFn(V__S))
         &
         s__instrument(V__SI,V__A))
     =>
     (( ? [V__A2] :
         ((s__instance(V__A2,s__Object) &
             (~((V__A2 = V__A))
               &
               s__capability(V__S,s__instrument__m,V__A2)
             &
             ~(s__capability(V__S,s__instrument__m,V__A))))))))))
)
)

Merge.kif 12818-12828

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1078-1089 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners