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

Formal Language: 



KB Term:  Term intersection
English Word: 

  capability

Sigma KEE - capability
capability

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


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

Merge.kif 4036-4037
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 4033-4035
s__domain(s__capability__m,2,s__CaseRole)

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

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

Merge.kif 4030-4030 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 4029-4029 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 60-60
s__termFormat(s__ChineseLanguage,s__capability__m,'能够')

chinese_format.kif 68-68 "能够" is the printable form of capability in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__capability__m,'capability')

domainEnglishFormat.kif 2593-2593 "capability" is the printable form of capability in english language

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__=>((s__attribute(V__X,s__TravelerAccommodation)s__and__ms__capability(s__RoomCleaningService,s__agent__m,V__X))
    s__=>(s__exists__m[V__MAID,V__HOTELROOM]
       (s__instance(V__MAID,s__CognitiveAgent)s__and__m(s__employs(V__X,V__MAID)
      s__and__ms__attribute(V__MAID,s__Maid)s__and__ms__instance(V__HOTELROOM,s__HotelUnit)s__and__ms__part(V__HOTELROOM,s__PropertyFn(V__X))
  s__and__ms__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
s__and__ms__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID))))))
)

Hotel.kif 1879-1890
( ∀ [V__PC,V__MV,V__ROLE]
   ((s__instance(V__PC,s__SetOrClass)s__and__ms__subclass(V__PC,s__Process)s__and__ms__instance(V__MV,s__Object)s__and__ms__instance(V__ROLE,s__CaseRole))
    s__=>((s__capability(V__PC,V__ROLE,V__MV)
      s__and__ms__subclass(V__PC,s__Shooting))
    s__=>(s__exists__m[V__WEAPON]
       (s__instance(V__WEAPON,s__Weapon)s__and__ms__part(V__WEAPON,V__MV)
      s__and__ms__capability(V__PC,V__ROLE,V__WEAPON)))))
)

MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 151-169
( ∀ [V__PORT]
   ((s__instance(V__PORT,s__PortFacility)s__and__ms__capability(s__ShipBerthing,s__patient__m,V__PORT))
  s__=>(s__exists__m[V__HARBOR]
     (s__instance(V__HARBOR,s__Harbor)s__and__ms__connected(V__HARBOR,V__PORT)
    s__and__ms__capability(s__ShipBerthing,s__path__m,V__HARBOR))))
)

Transportation.kif 2893-2901
( ∀ [V__EXPERIMENT,V__PROC,V__VISITOR,V__COLL]
   ((s__instance(V__EXPERIMENT,s__Experimenting)s__and__ms__subclass(V__PROC,s__Process))
    s__=>((s__instance(V__VISITOR,s__Human)s__and__ms__instance(V__COLL,s__Collection)s__and__m(s__forall__m[V__EXPERIMENTING,V__EVENT]
         ((s__instance(V__EXPERIMENTING,s__Experimenting)s__and__ms__instance(V__EVENT,s__Process)s__and__ms__member(V__EVENT,s__QualifyingEventsFn(V__EXPERIMENT))
        s__and__ms__capability(V__EVENT,s__experiencer__m,V__VISITOR))
    s__=>s__member(V__EVENT,V__COLL)))
s__and__m(s__member(V__PROC,V__COLL)
s__=>(s__instance(V__PROC,s__Process)s__and__m(s__exists__m[V__EXP]
(s__instance(V__EXP,s__Experimenting)s__and__ms__member(V__PROC,s__QualifyingEventsFn(V__EXP))
s__and__ms__capability(V__PROC,s__experiencer__m,V__VISITOR))))))
s__=>(s__QualifiedTreatmentsFn(V__VISITOR)
s__equal__mV__COLL)))
)

UXExperimentalTerms.kif 4439-4462
( ∀ [V__EXPERIMENT1,V__TESTCOL2,V__TESTCOL1,V__SUBJECT]
   ((s__subclass(V__EXPERIMENT1,s__Process)s__and__ms__instance(V__TESTCOL2,s__Collection)s__and__ms__instance(V__TESTCOL1,s__Collection))
    s__=>((s__orthogonalTests(V__TESTCOL1,V__TESTCOL2)
      s__and__ms__instance(V__SUBJECT,s__Human)s__and__ms__instance(V__EXPERIMENT1,s__Experimenting)s__and__ms__member(V__EXPERIMENT1,V__TESTCOL1)
    s__and__ms__capability(V__EXPERIMENT1,s__experimentalSubject__m,V__SUBJECT))
s__=>(s__exists__m[V__EXPERIMENT2]
   (s__instance(V__EXPERIMENT2,s__Experimenting)s__and__ms__member(V__EXPERIMENT2,V__TESTCOL2)
  s__and__ms__capability(V__EXPERIMENT2,s__experimentalSubject__m,V__SUBJECT)))))
)

UXExperimentalTerms.kif 4661-4672
( ∀ [V__AGENT,V__POLITY,V__ELECTION]
   ((s__instance(V__AGENT,s__Human)s__and__ms__instance(V__POLITY,s__Nation)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__subProposition(s__ExclusiveMaleSuffrage,s__RegionalLawFn(V__POLITY))
    s__and__ms__citizen(V__AGENT,V__POLITY)
  s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))
s__and__ms__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))
s__=>s__attribute(V__AGENT,s__Male)))
)

Government.kif 1211-1217
( ∀ [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION]
   ((s__instance(V__AGENT,s__Object)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__suffrageAgeMaximum(V__POLITY,V__VOTINGAGE)
      s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))
  s__and__ms__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT)
s__and__ms__age(V__AGENT,V__AGE))
s__=>s__lessThanOrEqualTo(V__AGE,V__VOTINGAGE)))
)

Government.kif 1035-1041
( ∀ [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION]
   ((s__instance(V__AGENT,s__Object)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__suffrageAgeMaximum(V__POLITY,V__VOTINGAGE)
      s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))
  s__and__ms__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))
s__=>(s__exists__m[V__AGE]
(s__instance(V__AGE,s__TimeDuration)s__and__m(s__age(V__AGENT,V__AGE)
s__and__ms__lessThanOrEqualTo(V__AGE,V__VOTINGAGE))))))
)

Government.kif 1025-1033
( ∀ [V__AGENT,V__POLITY,V__AGE,V__VOTINGAGE,V__ELECTION]
   ((s__instance(V__AGENT,s__Object)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__AGE,s__TimeDuration)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
      s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))
  s__and__ms__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT)
s__and__ms__age(V__AGENT,V__AGE))
s__=>s__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE)))
)

Government.kif 971-977
( ∀ [V__AGENT,V__POLITY,V__VOTINGAGE,V__ELECTION]
   ((s__instance(V__AGENT,s__Object)s__and__ms__instance(V__POLITY,s__Agent)s__and__ms__instance(V__VOTINGAGE,s__TimeDuration)s__and__ms__instance(V__ELECTION,s__Election))
    s__=>((s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE)
      s__and__ms__instance(V__ELECTION,s__ElectionFn(V__POLITY))
  s__and__ms__capability(s__VotingFn(V__ELECTION)
,s__agent__m,V__AGENT))
s__=>(s__exists__m[V__AGE]
(s__instance(V__AGE,s__TimeDuration)s__and__m(s__age(V__AGENT,V__AGE)
s__and__ms__greaterThanOrEqualTo(V__AGE,V__VOTINGAGE))))))
)

Government.kif 961-969
( ∀ [V__WEAPON,V__PC,V__COUNT,V__MV,V__WC,V__ROLE]
   ((s__instance(V__WEAPON,s__Object)s__and__ms__instance(V__PC,s__SetOrClass)s__and__ms__subclass(V__PC,s__Process)s__and__ms__instance(V__COUNT,s__PositiveInteger)s__and__ms__instance(V__MV,s__MilitaryVehicle)s__and__ms__subclass(V__WC,s__Weapon)s__and__ms__instance(V__WC,s__SetOrClass)s__and__ms__instance(V__ROLE,s__CaseRole))
    s__=>((s__weaponCarryingCapability(V__MV,V__WC,V__COUNT)
      s__and__ms__instance(V__WEAPON,V__WC)
    s__and__ms__capability(V__PC,V__ROLE,V__WEAPON)
  s__and__m(s__subclass(V__PC,s__Shooting)s__or__ms__subclass(V__PC,s__Damaging)))
s__=>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 4047-4053
( ∀ [V__ANIMAL]
   (s__instance(V__ANIMAL,s__CorpuscularObject)s__=>(s__capability(s__Breathing,s__experiencer__m,V__ANIMAL)
    s__=>(s__exists__m[V__LUNG]
       (s__component(V__LUNG,V__ANIMAL)
      s__and__ms__instance(V__LUNG,s__Lung)))))
)

Mid-level-ontology.kif 9582-9587
( ∀ [V__X]
   (s__instance(V__X,s__Agent)s__=>(s__capability(s__ChildCareService,s__agent__m,V__X)
    s__=>(s__exists__m[V__SITTER]
       (s__instance(V__SITTER,s__CognitiveAgent)s__and__m(s__employs(V__X,V__SITTER)
      s__and__ms__capability(s__ChildCareService,s__serviceProvider__m,V__SITTER))))))
)

Hotel.kif 1827-1832
( ∀ [V__AGENT]
   (s__instance(V__AGENT,s__Organization)s__=>(s__capability(s__ValetParking,s__agent__m,V__AGENT)
    s__=>(s__exists__m[V__VALET]
       (s__instance(V__VALET,s__Human)s__and__ms__occupiesPosition(V__VALET,s__Valet,V__AGENT)))))
)

TransportDetail.kif 146-149
No TPTP formula. May not be expressible in strict first order. Law.kif 423-427

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1648-1654 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__and__ms__subclass(V__ACT,s__Process))
    s__=>(s__activityCapability(V__AGENT,V__ACT)
    s__=>(s__exists__m[V__LOC]
       (s__instance(V__LOC,s__Object)s__and__m(s__element(V__LOC,s__PropertyFn(V__AGENT))
    s__and__ms__capability(V__ACT,s__located__m,V__LOC))))))
)

Hotel.kif 568-573
( ∀ [V__X]
   (s__instance(V__X,s__Agent)s__=>((s__attribute(V__X,s__TravelerAccommodation)s__and__ms__capability(s__RoomCleaningService,s__agent__m,V__X))
    s__=>(s__exists__m[V__MAID,V__HOTELROOM]
       (s__instance(V__MAID,s__CognitiveAgent)s__and__m(s__employs(V__X,V__MAID)
      s__and__ms__attribute(V__MAID,s__Maid)s__and__ms__instance(V__HOTELROOM,s__HotelUnit)s__and__ms__part(V__HOTELROOM,s__PropertyFn(V__X))
  s__and__ms__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM)
s__and__ms__capability(s__RoomCleaningService,s__serviceProvider__m,V__MAID))))))
)

Hotel.kif 1879-1890
( ∀ [V__PC,V__MV,V__ROLE]
   ((s__instance(V__PC,s__SetOrClass)s__and__ms__subclass(V__PC,s__Process)s__and__ms__instance(V__MV,s__Object)s__and__ms__instance(V__ROLE,s__CaseRole))
    s__=>((s__capability(V__PC,V__ROLE,V__MV)
      s__and__ms__subclass(V__PC,s__Shooting))
    s__=>(s__exists__m[V__WEAPON]
       (s__instance(V__WEAPON,s__Weapon)s__and__ms__part(V__WEAPON,V__MV)
      s__and__ms__capability(V__PC,V__ROLE,V__WEAPON)))))
)

MilitaryDevices.kif 48-56
( ∀ [V__Agent,V__Bond]
   (s__instance(V__Agent,s__CognitiveAgent)s__=>((s__instance(V__Bond,s__CallableBond)s__and__ms__issuedBy(V__Bond,V__Agent))
    s__=>s__capability(s__Call,s__agent__m,V__Agent)))
)

FinancialOntology.kif 2400-2404
( ∀ [V__AGENT,V__D]
   (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__D,s__DeliveryService)s__and__ms__agent(V__D,V__AGENT))
    s__=>s__capability(s__DeliveryService,s__agent__m,V__AGENT)))
)

Dining.kif 491-495
( ∀ [V__AGENT,V__DISEASE]
   (s__instance(V__AGENT,s__Object)s__=>((s__instance(V__DISEASE,s__LifeThreateningDisease)s__and__ms__attribute(V__AGENT,V__DISEASE))
    s__=>s__capability(s__Death,s__experiencer__m,V__AGENT)))
)

WMD.kif 973-977
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1797-1812
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1779-1793
( ∀ [V__NUM,V__HARBOR]
   (s__instance(V__NUM,s__Quantity)s__=>((s__instance(V__HARBOR,s__Harbor)s__and__ms__equipmentCount(V__HARBOR,s__ShipBerth,V__NUM)
      s__and__ms__greaterThan(V__NUM,0))
  s__=>s__capability(s__ShipBerthing,s__path__m,V__HARBOR)))
)

Transportation.kif 2886-2891
( ∀ [V__ORG]
   ((s__instance(V__ORG,s__Organization)s__and__ms__attribute(V__ORG,s__BuildingMaterialAndGardenEquipmentAndSuppliesDealers))
    s__=>(s__exists__m[V__EV,V__MEM]
       (s__instance(V__MEM,s__Object)s__and__ms__instance(V__MEM,s__Process)s__and__m(s__member(V__MEM,V__ORG)
      s__and__ms__agent(V__MEM,V__EV)
    s__and__m(s__exists__m[V__THING]
     (s__instance(V__EV,s__Selling)s__and__ms__instance(V__THING,s__Object)s__and__m(s__capability(s__Constructing,s__resource__m,V__THING)
    s__or__ms__capability(s__Agriculture,s__resource__m,V__THING))
s__and__ms__patient(V__EV,V__THING)))))))
)

naics.kif 7249-7264
( ∀ [V__ORG]
   ((s__instance(V__ORG,s__Organization)s__and__ms__attribute(V__ORG,s__SportingGoodsHobbyBookAndMusicStores))
    s__=>(s__exists__m[V__EV,V__MEM]
       (s__instance(V__MEM,s__Object)s__and__ms__instance(V__MEM,s__Process)s__and__m(s__member(V__MEM,V__ORG)
      s__and__ms__agent(V__MEM,V__EV)
    s__and__m(s__exists__m[V__THING]
     (s__instance(V__EV,s__Selling)s__and__ms__instance(V__THING,s__Object)s__and__m(s__capability(s__Sport,s__instrument__m,V__THING)
    s__or__ms__capability(s__MakingMusic,s__instrument__m,V__THING)
  s__or__ms__instance(V__THING,s__Book)s__or__ms__instance(V__THING,s__MusicRecording)s__or__ms__instance(V__THING,s__MusicText))
s__and__ms__patient(V__EV,V__THING)))))))
)

naics.kif 7607-7625
( ∀ [V__ORG]
   ((s__instance(V__ORG,s__Organization)s__and__ms__attribute(V__ORG,s__Utilities))
    s__=>(s__exists__m[V__EV,V__MEM]
       (s__instance(V__MEM,s__Object)s__and__ms__instance(V__MEM,s__Process)s__and__m(s__member(V__MEM,V__ORG)
      s__and__ms__agent(V__MEM,V__EV)
    s__and__m(s__exists__m[V__THING,V__MEM2,V__EV2]
     (s__instance(V__MEM2,s__Agent)s__and__m((s__instance(V__EV,s__Removing)s__or__ms__instance(V__THING,s__Sewage))
      s__and__ms__patient(V__EV,V__THING)
    s__and__m(s__instance(V__THING,s__Electron)s__or__ms__instance(V__THING,s__Water)s__or__m(s__instance(V__THING,s__PureSubstance)s__and__ms__capability(s__Combustion,s__patient__m,V__THING)))
s__and__ms__member(V__MEM2,V__ORG)
s__and__ms__instance(V__EV2,s__FinancialTransaction)s__and__ms__agent(V__EV2,V__MEM2)
s__and__ms__patient(V__EV2,V__THING))))))))
)

naics.kif 954-977
( ∀ [V__AGENT,V__P]
   (s__instance(V__AGENT,s__Object)s__=>((s__instance(V__P,s__BankCardPayment)s__and__ms__destination(V__P,V__AGENT))
    s__=>s__capability(s__BankCardPayment,s__destination__m,V__AGENT)))
)

Dining.kif 414-418
( ∀ [V__P,V__REST]
   ((s__subclass(V__P,s__Process)s__and__ms__instance(V__REST,s__Agent))
    s__=>((s__instance(V__P,s__CateringService)s__and__ms__agent(V__P,V__REST))
    s__=>s__capability(V__P,s__agent__m,V__REST)))
)

Dining.kif 538-542
( ∀ [V__PORT]
   ((s__instance(V__PORT,s__PortFacility)s__and__ms__capability(s__ShipBerthing,s__patient__m,V__PORT))
  s__=>(s__exists__m[V__HARBOR]
     (s__instance(V__HARBOR,s__Harbor)s__and__ms__connected(V__HARBOR,V__PORT)
    s__and__ms__capability(s__ShipBerthing,s__path__m,V__HARBOR))))
)

Transportation.kif 2893-2901
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 232-244
( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ComputerProcess)s__and__ms__instance(V__ARG2,s__ComputerResource))
    s__=>((s__instance(s__resourceUsed__m,s__CaseRole)s__and__ms__resourceUsed(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__resourceUsed__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ChemicalProcess)s__and__ms__instance(V__ARG2,s__Substance))
    s__=>((s__instance(s__reactant__m,s__CaseRole)s__and__ms__reactant(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__reactant__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__CriminalAction)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__victim__m,s__CaseRole)s__and__ms__victim(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__victim__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__LegalAction)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__witness__m,s__CaseRole)s__and__ms__witness(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__witness__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Agent))
    s__=>((s__instance(s__agent__m,s__CaseRole)s__and__ms__agent(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__agent__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__origin__m,s__CaseRole)s__and__ms__origin(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__origin__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ComputerProcess)s__and__ms__instance(V__ARG2,s__ComputerOutputDevice))
    s__=>((s__instance(s__standardOutputDevice__m,s__CaseRole)s__and__ms__standardOutputDevice(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__standardOutputDevice__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Confining)s__and__ms__instance(V__ARG2,s__Animal))
    s__=>((s__instance(s__detainee__m,s__CaseRole)s__and__ms__detainee(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__detainee__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__LegalAction)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__defenseLawyer__m,s__CaseRole)s__and__ms__defenseLawyer(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__defenseLawyer__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__LegalAction)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__evidence__m,s__CaseRole)s__and__ms__evidence(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__evidence__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ComputerProcess)s__and__ms__instance(V__ARG2,s__ComputerInputDevice))
    s__=>((s__instance(s__standardInputDevice__m,s__CaseRole)s__and__ms__standardInputDevice(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__standardInputDevice__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ServiceProcess)s__and__ms__instance(V__ARG2,s__CognitiveAgent))
    s__=>((s__instance(s__serviceProvider__m,s__CaseRole)s__and__ms__serviceProvider(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__serviceProvider__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__AchievingControl)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__controlled__m,s__CaseRole)s__and__ms__controlled(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__controlled__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Agent))
    s__=>((s__instance(s__experiencer__m,s__CaseRole)s__and__ms__experiencer(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__experiencer__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Experimenting)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__experimentalControl__m,s__CaseRole)s__and__ms__experimentalControl(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__experimentalControl__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Translocation)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__changesLocation__m,s__CaseRole)s__and__ms__changesLocation(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__changesLocation__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Transportation)s__and__ms__instance(V__ARG2,s__TransportationDevice))
    s__=>((s__instance(s__conveyance__m,s__CaseRole)s__and__ms__conveyance(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__conveyance__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Agent))
    s__=>((s__instance(s__suffers__m,s__CaseRole)s__and__ms__suffers(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__suffers__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__LegalAction)s__and__ms__instance(V__ARG2,s__Human))
    s__=>((s__instance(s__attorney__m,s__CaseRole)s__and__ms__attorney(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__attorney__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ServiceProcess)s__and__ms__instance(V__ARG2,s__CognitiveAgent))
    s__=>((s__instance(s__serviceRecipient__m,s__CaseRole)s__and__ms__serviceRecipient(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__serviceRecipient__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ComputerProcess)s__and__ms__instance(V__ARG2,s__ComputerOutputDevice))
    s__=>((s__instance(s__standardErrorDevice__m,s__CaseRole)s__and__ms__standardErrorDevice(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__standardErrorDevice__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Agent)s__and__ms__instance(V__ARG2,s__WebSite))
    s__=>((s__instance(s__webVisitor__m,s__CaseRole)s__and__ms__webVisitor(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__webVisitor__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__eventLocated__m,s__CaseRole)s__and__ms__eventLocated(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__eventLocated__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Bidding)s__and__ms__instance(V__ARG2,s__Object)s__and__ms__instance(V__ARG2,s__CurrencyMeasure))
    s__=>((s__instance(s__amountOfBid__m,s__CaseRole)s__and__ms__amountOfBid(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__amountOfBid__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__CognitiveAgent)s__and__ms__instance(V__ARG2,s__Object)s__and__ms__subclass(V__ARG2,s__IntentionalProcess))
    s__=>((s__instance(s__enjoys__m,s__CaseRole)s__and__ms__enjoys(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__enjoys__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__eventPartlyLocated__m,s__CaseRole)s__and__ms__eventPartlyLocated(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__eventPartlyLocated__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__LegalAction)s__and__ms__instance(V__ARG2,s__CognitiveAgent))
    s__=>((s__instance(s__defendant__m,s__CaseRole)s__and__ms__defendant(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__defendant__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ChemicalProcess)s__and__ms__instance(V__ARG2,s__Substance))
    s__=>((s__instance(s__reagent__m,s__CaseRole)s__and__ms__reagent(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__reagent__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Experimenting)s__and__ms__instance(V__ARG2,s__CognitiveAgent))
    s__=>((s__instance(s__experimenter__m,s__CaseRole)s__and__ms__experimenter(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__experimenter__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Contest)s__and__ms__instance(V__ARG2,s__Agent))
    s__=>((s__instance(s__contestParticipant__m,s__CaseRole)s__and__ms__contestParticipant(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__contestParticipant__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__AchievingControl)s__and__ms__instance(V__ARG2,s__Agent))
    s__=>((s__instance(s__gainsControl__m,s__CaseRole)s__and__ms__gainsControl(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__gainsControl__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Motion)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__path__m,s__CaseRole)s__and__ms__path(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__path__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__LegalAction)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__prosecutor__m,s__CaseRole)s__and__ms__prosecutor(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__prosecutor__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Game)s__and__ms__instance(V__ARG2,s__Agent))
    s__=>((s__instance(s__plays__m,s__CaseRole)s__and__ms__plays(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__plays__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ViralCellInvasion)s__and__ms__instance(V__ARG2,s__Virus))
    s__=>((s__instance(s__invadingVirus__m,s__CaseRole)s__and__ms__invadingVirus(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__invadingVirus__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Experimenting)s__and__ms__instance(V__ARG2,s__Human))
    s__=>((s__instance(s__experimentalSubject__m,s__CaseRole)s__and__ms__experimentalSubject(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__experimentalSubject__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Motion)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__moves__m,s__CaseRole)s__and__ms__moves(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__moves__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__FinancialTransaction)s__and__ms__instance(V__ARG2,s__Agent))
    s__=>((s__instance(s__broker__m,s__CaseRole)s__and__ms__broker(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__broker__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Bidding)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__objectOfBid__m,s__CaseRole)s__and__ms__objectOfBid(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__objectOfBid__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__result__m,s__CaseRole)s__and__ms__result(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__result__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ComputerProcess)s__and__ms__instance(V__ARG2,s__DigitalData))
    s__=>((s__instance(s__dataProcessed__m,s__CaseRole)s__and__ms__dataProcessed(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__dataProcessed__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__PlacingUnderArrest)s__and__ms__instance(V__ARG2,s__Agent))
    s__=>((s__instance(s__arrested__m,s__CaseRole)s__and__ms__arrested(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__arrested__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ChangeOfControl)s__and__ms__instance(V__ARG2,s__Agent))
    s__=>((s__instance(s__losesControl__m,s__CaseRole)s__and__ms__losesControl(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__losesControl__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__subclass(V__ARG1,s__Process)s__and__ms__subclass(V__ARG2,s__Agent)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__typicalAction__m,s__CaseRole)s__and__ms__typicalAction(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__typicalAction__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__instrument__m,s__CaseRole)s__and__ms__instrument(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__instrument__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Shipping)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__cargo__m,s__CaseRole)s__and__ms__cargo(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__cargo__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__targetInAttack__m,s__CaseRole)s__and__ms__targetInAttack(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__targetInAttack__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__PositionalAttribute)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__direction__m,s__CaseRole)s__and__ms__direction(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__direction__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Transportation)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__transported__m,s__CaseRole)s__and__ms__transported(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__transported__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Transfer)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__objectTransferred__m,s__CaseRole)s__and__ms__objectTransferred(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__objectTransferred__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__PlacingUnderArrest)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__arrestingOfficer__m,s__CaseRole)s__and__ms__arrestingOfficer(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__arrestingOfficer__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__LegalAction)s__and__ms__instance(V__ARG2,s__CognitiveAgent))
    s__=>((s__instance(s__plaintiff__m,s__CaseRole)s__and__ms__plaintiff(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__plaintiff__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__ComputerProcess)s__and__ms__instance(V__ARG2,s__Computer))
    s__=>((s__instance(s__computerRunning__m,s__CaseRole)s__and__ms__computerRunning(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__computerRunning__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__resourceExhausted__m,s__CaseRole)s__and__ms__resourceExhausted(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__resourceExhausted__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Game)s__and__ms__instance(V__ARG2,s__Agent))
    s__=>((s__instance(s__referee__m,s__CaseRole)s__and__ms__referee(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__referee__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__destination__m,s__CaseRole)s__and__ms__destination(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__destination__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Demonstrating)s__and__ms__instance(V__ARG2,s__Human))
    s__=>((s__instance(s__attends__m,s__CaseRole)s__and__ms__attends(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__attends__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__resource__m,s__CaseRole)s__and__ms__resource(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__resource__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__CriminalAction)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__perpetrator__m,s__CaseRole)s__and__ms__perpetrator(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__perpetrator__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__FinancialTransaction)s__and__ms__instance(V__ARG2,s__WebSite))
    s__=>((s__instance(s__eCommerceSite__m,s__CaseRole)s__and__ms__eCommerceSite(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__eCommerceSite__m,V__ARG2)))
)

( ∀ [V__PROC,V__ARG1,V__ARG2]
   ((s__instance(V__PROC,s__SetOrClass)s__and__ms__subclass(V__PROC,s__Process)s__and__ms__instance(V__ARG1,s__Process)s__and__ms__instance(V__ARG2,s__Object))
    s__=>((s__instance(s__patient__m,s__CaseRole)s__and__ms__patient(V__ARG1,V__ARG2)
      s__and__ms__instance(V__ARG1,V__PROC)
    s__and__ms__subclass(V__PROC,s__Process))
  s__=>s__capability(V__PROC,s__patient__m,V__ARG2)))
)

Merge.kif 4039-4045
( ∀ [V__SEE,V__SEAT,V__AUDITORIUM,V__STAGE,V__PERSON]
   ((s__instance(V__SEE,s__SetOrClass)s__and__ms__subclass(V__SEE,s__Process))
    s__=>((s__instance(V__SEAT,s__AuditoriumSeat)s__and__ms__part(V__SEAT,V__AUDITORIUM)
      s__and__ms__part(V__STAGE,V__AUDITORIUM)
    s__and__ms__instance(V__AUDITORIUM,s__Auditorium)s__and__ms__instance(V__STAGE,s__PerformanceStage)s__and__ms__located(V__PERSON,V__SEAT)
  s__and__ms__instance(V__PERSON,s__Human)s__and__ms__subclass(V__SEE,s__Seeing)s__and__m(s__forall__m[V__INST]
   (s__instance(V__INST,s__Process)s__=>(s__instance(V__INST,V__SEE)
    s__=>s__patient(V__INST,V__STAGE)))))
s__=>s__capability(V__SEE,s__agent__m,V__PERSON)))
)

Mid-level-ontology.kif 7016-7030
No TPTP formula. May not be expressible in strict first order. Merge.kif 13573-13587
( ∀ [V__VD]
   ((s__instance(V__VD,s__VehicleDoor)s__and__ms__attribute(V__VD,s__DeviceNormal))
    s__=>(s__capability(s__patient__m,s__Opening,V__VD)
    s__and__ms__capability(s__patient__m,s__Closing,V__VD)))
)

Mid-level-ontology.kif 27550-27556
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1733-1740
( ∀ [V__VEHICLE,V__HUMAN]
   ((s__instance(V__VEHICLE,s__PassengerVehicle)s__and__ms__instance(V__HUMAN,s__Human))
    s__=>s__capability(s__Transportation,s__patient__m,V__HUMAN))
)

Transportation.kif 1721-1725
( ∀ [V__AGENT,V__WEAPON]
   (s__instance(V__AGENT,s__Agent)s__=>((s__instance(V__WEAPON,s__BiochemicalWeapon)s__and__ms__possesses(V__AGENT,V__WEAPON))
    s__=>s__capability(s__BiochemicalAttack,s__agent__m,V__AGENT)))
)

WMD.kif 51-55
( ∀ [V__X]
   ((s__instance(V__X,s__ContentBearingObject)s__and__ms__attribute(V__X,s__Braille))
    s__=>(s__exists__m[V__H]
       (s__instance(V__H,s__Human)s__and__ms__attribute(V__H,s__Blind)s__and__ms__capability(s__Interpreting,s__agent__m,V__H)
      s__and__ms__capability(s__Interpreting,s__patient__m,V__X))))
)

Dining.kif 247-256

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 1069-1078 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners