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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - patient
patient

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


s__documentation(s__patient__m,s__ChineseLanguage,'"(patient ?PROCESS ?ENTITY) 的意思是 ?ENTITY 是 ?PROCESS 中一个可以被搬动、被告诉和能体验等的参与者。例如:在那只猫吞掉了那只金丝雀和比利喜欢这啤酒 的直接受事体会是 patient 的例子。注:一个Processpatient 可能会也可能不会因为该 Process 而经历结构上的变化。用 patient 这个 CaseRole 是当我们想尽可能以最广泛的代表来 要指出 Process 的受事体。"')

chinese_format.kif 1882-1886
s__documentation(s__patient__m,s__EnglishLanguage,'"(patient ?PROCESS ?ENTITY) means that ?ENTITY is a participant in ?PROCESS that may be moved, said, experienced, etc. For example, the direct objects in the sentences The cat swallowed the canary and Billy likes the beer would be examples of patients. Note that the patient of a Process may or may not undergo structural change as a result of the Process. The CaseRole of patient is used when one wants to specify as broadly as possible the object of a Process."')

Merge.kif 2440-2447
s__domain(s__patient__m,n__1,s__Process)

Merge.kif 2436-2436 The number 1 argument of patient is an instance of process
s__domain(s__patient__m,n__2,s__Entity)

Merge.kif 2437-2437 The number 2 argument of patient is an instance of entity
s__instance(s__patient__m,s__CaseRole)

s__instance(s__CaseRole,s__Class)

Merge.kif 2434-2434 patient is an instance of case role
s__instance(s__PartialValuedRelation,s__Class)

s__instance(s__patient__m,s__PartialValuedRelation)

Merge.kif 2435-2435 patient is an instance of partial valued relation
s__subrelation(s__patient__m,s__involvedInEvent__m)

Merge.kif 2438-2438 patient is a subrelation of involved in event

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


s__format(s__ChineseLanguage,s__patient__m,'"%2 %n 是 %1 的 patient"')

chinese_format.kif 167-167
s__format(s__EnglishLanguage,s__patient__m,'"%2 is %n a patient of %1"')

english_format.kif 168-168
s__subrelation(s__accountUsed__m,s__patient__m)

ComputingBrands.kif 4127-4127 account used is a subrelation of patient
s__subrelation(s__controlled__m,s__patient__m)

Mid-level-ontology.kif 22704-22704 controlled is a subrelation of patient
s__subrelation(s__dataProcessed__m,s__patient__m)

QoSontology.kif 1880-1880 data processed is a subrelation of patient
s__subrelation(s__defendant__m,s__patient__m)

Mid-level-ontology.kif 15541-15541 defendant is a subrelation of patient
s__subrelation(s__defenseLawyer__m,s__patient__m)

Law.kif 324-324 defense lawyer is a subrelation of patient
s__subrelation(s__detainee__m,s__patient__m)

Mid-level-ontology.kif 6422-6422 detainee is a subrelation of patient
s__subrelation(s__evidence__m,s__patient__m)

Law.kif 211-211 evidence is a subrelation of patient
s__subrelation(s__experimentalControl__m,s__patient__m)

Mid-level-ontology.kif 15004-15004 experimental control is a subrelation of patient
s__subrelation(s__instrument__m,s__patient__m)

Merge.kif 2409-2409 instrument is a subrelation of patient
s__subrelation(s__objectAttached__m,s__patient__m)

Merge.kif 11799-11799 attached is a subrelation of patient
s__subrelation(s__objectDetached__m,s__patient__m)

Merge.kif 11847-11847 detached is a subrelation of patient
s__subrelation(s__objectTransferred__m,s__patient__m)

Mid-level-ontology.kif 28687-28687 objectTransferred is a subrelation of patient
s__subrelation(s__plays__m,s__patient__m)

ComputingBrands.kif 1659-1659 plays is a subrelation of patient
s__subrelation(s__referee__m,s__patient__m)

ComputingBrands.kif 1647-1647 referee is a subrelation of patient
s__subrelation(s__resource__m,s__patient__m)

Merge.kif 2449-2449 resource is a subrelation of patient
s__subrelation(s__resourceUsed__m,s__patient__m)

QoSontology.kif 1997-1997 resource used is a subrelation of patient
s__subrelation(s__result__m,s__patient__m)

Merge.kif 2489-2489 result is a subrelation of patient
s__subrelation(s__targetInAttack__m,s__patient__m)

Mid-level-ontology.kif 6428-6428 target in attack is a subrelation of patient
s__subrelation(s__transported__m,s__patient__m)

Mid-level-ontology.kif 22137-22137 transported is a subrelation of patient
s__subrelation(s__victim__m,s__patient__m)

Law.kif 301-301 victim is a subrelation of patient
s__subrelation(s__witness__m,s__patient__m)

Law.kif 251-251 witness is a subrelation of patient
s__termFormat(s__ChineseLanguage,s__patient__m,'"受事"')

chinese_format.kif 168-168
s__termFormat(s__ChineseLanguage,s__patient__m,'"患者"')

domainEnglishFormat.kif 44773-44773

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__AGENT1,s__Agent))
       =>
       (((( ? [V__BORROW] :
               ((s__instance(V__BORROW,s__Borrowing) &
                   s__agent(V__BORROW,V__AGENT1)
                 &
                 s__origin(V__BORROW,V__AGENT2)
               &
               s__patient(V__BORROW,V__OBJECT))))
       =>
       ( ? [V__LEND] :
         ((s__instance(V__LEND,s__Lending) &
             s__agent(V__LEND,V__AGENT2)
           &
           s__destination(V__LEND,V__AGENT1)
         &
         s__patient(V__LEND,V__OBJECT)))))
&
(( ? [V__LEND] :
   ((s__instance(V__LEND,s__Lending) &
       s__agent(V__LEND,V__AGENT2)
     &
     s__destination(V__LEND,V__AGENT1)
   &
   s__patient(V__LEND,V__OBJECT))))
=>
( ? [V__BORROW] :
((s__instance(V__BORROW,s__Borrowing) &
s__agent(V__BORROW,V__AGENT1)
&
s__origin(V__BORROW,V__AGENT2)
&
s__patient(V__BORROW,V__OBJECT))))))))
)
)

Merge.kif 11248-11260 There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__AGENT1,s__Agent))
       =>
       (((( ? [V__BUY] :
               ((s__instance(V__BUY,s__Buying) &
                   s__agent(V__BUY,V__AGENT1)
                 &
                 s__origin(V__BUY,V__AGENT2)
               &
               s__patient(V__BUY,V__OBJECT))))
       =>
       ( ? [V__SELL] :
         ((s__instance(V__SELL,s__Selling) &
             s__agent(V__SELL,V__AGENT2)
           &
           s__destination(V__SELL,V__AGENT1)
         &
         s__patient(V__SELL,V__OBJECT)))))
&
(( ? [V__SELL] :
   ((s__instance(V__SELL,s__Selling) &
       s__agent(V__SELL,V__AGENT2)
     &
     s__destination(V__SELL,V__AGENT1)
   &
   s__patient(V__SELL,V__OBJECT))))
=>
( ? [V__BUY] :
((s__instance(V__BUY,s__Buying) &
s__agent(V__BUY,V__AGENT1)
&
s__origin(V__BUY,V__AGENT2)
&
s__patient(V__BUY,V__OBJECT))))))))
)
)

Merge.kif 11410-11422 There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ! [V__REGION] :
   (((( ? [V__EMIT] :
           ((s__instance(V__EMIT,s__RadiatingLight) &
               s__patient(V__EMIT,V__REGION)
             &
             s__instance(V__REGION,s__Region))))
       =>
       s__attribute(V__REGION,s__Illuminated))
     &
     (s__attribute(V__REGION,s__Illuminated) =>
       ( ? [V__EMIT] :
         ((s__instance(V__EMIT,s__RadiatingLight) &
             s__patient(V__EMIT,V__REGION)
           &
           s__instance(V__REGION,s__Region))))))
)
)

Merge.kif 13044-13050 There exists a process such that the process is an instance of radiating light and an object is a patient of the process and the object is an instance of region if and only if illuminated is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19932-19939
( ! [V__Object,V__Seller,V__Money,V__Purchase,V__Buyer] :
   (((s__instance(V__Object,s__Physical) &
         s__instance(V__Seller,s__Object) &
         s__instance(V__Money,s__CurrencyMeasure) &
         s__instance(V__Purchase,s__Process) &
         s__instance(V__Buyer,s__Agent))
       =>
       (((s__agent(V__Purchase,V__Buyer)
           &
           s__origin(V__Purchase,V__Seller)
         &
         s__patient(V__Purchase,V__Object)
       &
       s__monetaryValue(V__Object,V__Money))
   =>
   (( ? [V__Payment] :
       ((s__subProcess(V__Payment,V__Purchase)
         &
         s__instance(V__Payment,s__Payment) &
         s__transactionAmount(V__Payment,V__Money)
       &
       s__origin(V__Payment,V__Buyer)
     &
     s__destination(V__Payment,V__Seller))))))))
)
)

FinancialOntology.kif 463-475
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 153-171
( ! [V__FORMULA,V__CONFIDENCE,V__EXPERIMENT] :
   ((s__instance(V__CONFIDENCE,s__RealNumber) =>
       (((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
           &
           s__instance(V__EXPERIMENT,s__Experimenting) &
           s__instance(V__FORMULA,s__Formula) &
           s__patient(V__EXPERIMENT,V__FORMULA)
         &
         (V__CONFIDENCE = n__100))
       =>
       (s__truth(V__FORMULA,'$false__m')))))
)
)

UXExperimentalTerms.kif 682-689
( ! [V__FORMULA,V__CONFIDENCE,V__EXPERIMENT] :
   ((s__instance(V__CONFIDENCE,s__RealNumber) =>
       (((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
           &
           s__instance(V__EXPERIMENT,s__Experimenting) &
           s__instance(V__FORMULA,s__Formula) &
           s__patient(V__EXPERIMENT,V__FORMULA)
         &
         (V__CONFIDENCE = n__100))
       =>
       (s__truth(V__FORMULA,'$true__m')))))
)
)

UXExperimentalTerms.kif 673-680
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 664-670
( ! [V__AGENT,V__AMT,V__CUST,V__D,V__ITEM,V__X] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__AMT,s__CurrencyMeasure) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__ITEM,s__Object) &
         s__instance(V__ITEM,s__Class) &
         s__instance(V__X,s__Object))
       =>
       (((s__customer(V__CUST,V__AGENT)
           &
           s__corkageFee(V__AMT,V__ITEM,V__AGENT)
         &
         s__instance(V__X,V__ITEM)
       &
       ~(( ? [V__B] :
           ((s__instance(V__B,s__Buying) &
               s__patient(V__B,V__X)
             &
             s__destination(V__B,V__CUST)
           &
           s__origin(V__B,V__AGENT)))))
&
s__instance(V__D,s__Drinking) &
s__agent(V__D,V__CUST)
&
s__resource(V__D,V__X))
=>
(( ? [V__C] :
((s__instance(V__C,s__Corkage) &
   s__agent(V__C,V__CUST)
&
s__refers(V__C,V__X)
&
s__destination(V__C,V__AGENT))))))))
)
)

Dining.kif 130-150
No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
( ! [V__TELEX,V__M,V__MSG] :
   (((s__destination(V__MSG,V__TELEX)
       &
       s__instance(V__MSG,s__Messaging) &
       s__patient(V__MSG,V__M)
     &
     s__instance(V__TELEX,s__Telex))
   =>
   (( ? [V__PROC, V__TEXT] :
       ((s__instance(V__PROC,s__Process) &
           (s__instrument(V__PROC,V__TELEX)
           &
           s__result(V__PROC,V__TEXT)
         &
         s__represents(V__TEXT,V__M)
       &
       s__instance(V__TEXT,s__Text) &
       s__before(s__BeginFn(s__WhenFn(V__MSG))
  ,s__BeginFn(s__WhenFn(V__PROC)))))))))
)
)

Communications.kif 202-214
( ! [V__TEXT,V__EDITION1,V__CBO2,V__EDITION2,V__CBO1,V__INT2,V__PUB2,V__DATE1,V__INT1,V__DATE2,V__PUB1] :
   (((s__subclass(V__TEXT,s__ContentBearingObject) &
         s__subclass(V__EDITION1,s__ContentBearingObject) &
         s__instance(V__EDITION1,s__Class) &
         s__subclass(V__EDITION2,s__ContentBearingObject) &
         s__instance(V__EDITION2,s__Class) &
         s__instance(V__INT2,s__PositiveInteger) &
         s__instance(V__DATE1,s__Day) &
         s__instance(V__INT1,s__PositiveInteger) &
         s__instance(V__DATE2,s__Day))
       =>
       ((((s__EditionFn(V__TEXT,V__INT1)
             = V__EDITION1)
           &
           (s__EditionFn(V__TEXT,V__INT2)
           = V__EDITION2)
         &
         s__greaterThan(V__INT2,V__INT1)
       &
       s__instance(V__PUB1,s__Publication) &
       s__instance(V__PUB2,s__Publication) &
       s__instance(V__CBO1,V__EDITION1)
     &
     s__instance(V__CBO2,V__EDITION2)
   &
   s__patient(V__PUB1,V__CBO1)
&
s__patient(V__PUB2,V__CBO2)
&
s__date(V__PUB1,V__DATE1)
&
s__date(V__PUB2,V__DATE2))
=>
(s__before(s__EndFn(V__DATE1)
,s__EndFn(V__DATE2))))))
)
)

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

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

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

Hotel.kif 351-365
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. Law.kif 524-533
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20643-20654
( ! [V__A,V__EO] :
   (((s__instance(V__A,s__Accrediting) &
         s__patient(V__A,V__EO))
     =>
     (s__instance(V__EO,s__EducationalOrganization)))
   )
)

Mid-level-ontology.kif 951-955
( ! [V__A,V__S,V__ATTACH] :
   (((s__instance(V__A,s__Anchor) &
         s__instance(V__ATTACH,s__Attaching) &
         s__instrument(V__ATTACH,V__A)
       &
       s__patient(V__ATTACH,V__S))
   =>
   (s__instance(V__S,s__WaterVehicle)))
)
)

Mid-level-ontology.kif 4116-4122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 981-994
No TPTP formula. May not be expressible in strict first order. Merge.kif 11805-11819
( ! [V__A,V__E,V__F] :
   (((s__instance(V__A,s__Herbivore) &
         s__agent(V__E,V__A)
       &
       s__instance(V__E,s__Eating) &
       s__patient(V__E,V__F))
   =>
   (s__instance(V__F,s__Plant)))
)
)

Mid-level-ontology.kif 19228-19234

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__AGENT1,s__Agent))
       =>
       (((( ? [V__BORROW] :
               ((s__instance(V__BORROW,s__Borrowing) &
                   s__agent(V__BORROW,V__AGENT1)
                 &
                 s__origin(V__BORROW,V__AGENT2)
               &
               s__patient(V__BORROW,V__OBJECT))))
       =>
       ( ? [V__LEND] :
         ((s__instance(V__LEND,s__Lending) &
             s__agent(V__LEND,V__AGENT2)
           &
           s__destination(V__LEND,V__AGENT1)
         &
         s__patient(V__LEND,V__OBJECT)))))
&
(( ? [V__LEND] :
   ((s__instance(V__LEND,s__Lending) &
       s__agent(V__LEND,V__AGENT2)
     &
     s__destination(V__LEND,V__AGENT1)
   &
   s__patient(V__LEND,V__OBJECT))))
=>
( ? [V__BORROW] :
((s__instance(V__BORROW,s__Borrowing) &
s__agent(V__BORROW,V__AGENT1)
&
s__origin(V__BORROW,V__AGENT2)
&
s__patient(V__BORROW,V__OBJECT))))))))
)
)

Merge.kif 11248-11260 There exists a process such that the process is an instance of borrowing and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of lending and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
( ! [V__AGENT2,V__OBJECT,V__AGENT1] :
   (((s__instance(V__AGENT2,s__Agent) &
         s__instance(V__AGENT1,s__Agent))
       =>
       (((( ? [V__BUY] :
               ((s__instance(V__BUY,s__Buying) &
                   s__agent(V__BUY,V__AGENT1)
                 &
                 s__origin(V__BUY,V__AGENT2)
               &
               s__patient(V__BUY,V__OBJECT))))
       =>
       ( ? [V__SELL] :
         ((s__instance(V__SELL,s__Selling) &
             s__agent(V__SELL,V__AGENT2)
           &
           s__destination(V__SELL,V__AGENT1)
         &
         s__patient(V__SELL,V__OBJECT)))))
&
(( ? [V__SELL] :
   ((s__instance(V__SELL,s__Selling) &
       s__agent(V__SELL,V__AGENT2)
     &
     s__destination(V__SELL,V__AGENT1)
   &
   s__patient(V__SELL,V__OBJECT))))
=>
( ? [V__BUY] :
((s__instance(V__BUY,s__Buying) &
s__agent(V__BUY,V__AGENT1)
&
s__origin(V__BUY,V__AGENT2)
&
s__patient(V__BUY,V__OBJECT))))))))
)
)

Merge.kif 11410-11422 There exists a process such that the process is an instance of buying and an agent is an agent of the process and the process originates at another agent and an entity is a patient of the process if and only if there exists another process such that the other process is an instance of selling and the other agent is an agent of the other process and the other process ends up at the agent and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order. Merge.kif 1544-1550 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__Feedback,V__Send] :
   ((s__instance(V__Send,s__Process) =>
       (((s__instance(V__Feedback,s__Feedback) =>
             ( ? [V__RM, V__Process, V__Program] :
               ((s__instance(V__RM,s__ResourceManagementProgram) &
                   s__instance(V__Process,s__ComputerProcess) &
                   s__instance(V__Program,s__SoftwareSystem) &
                   (s__rMProgramOf(V__RM,V__Program)
                   &
                   s__programRunning(V__Process,V__Program)
                 &
                 s__instance(V__Send,s__DataTransfer) &
                 s__patient(V__Send,V__Feedback)
               &
               s__destination(V__Send,V__RM))))))
   &
   (( ? [V__RM, V__Process, V__Program] :
       ((s__instance(V__RM,s__ResourceManagementProgram) &
           s__instance(V__Process,s__ComputerProcess) &
           s__instance(V__Program,s__SoftwareSystem) &
           (s__rMProgramOf(V__RM,V__Program)
           &
           s__programRunning(V__Process,V__Program)
         &
         s__instance(V__Send,s__DataTransfer) &
         s__patient(V__Send,V__Feedback)
       &
       s__destination(V__Send,V__RM)))))
=>
s__instance(V__Feedback,s__Feedback)))))
)
)

QoSontology.kif 674-682 An entity is an instance of feedback if and only if there exist a resource management program, a computer process and a software system such that the software system is a rM program-of of the resource management program and the software system is a program running of the computer process and a process is an instance of data transfer and the entity is a patient of the process and the process ends up at the resource management program
( ! [V__INJ] :
   (((s__instance(V__INJ,s__Injuring) =>
         (s__instance(V__INJ,s__Damaging) &
           ( ? [V__ORGANISM] :
             ((s__instance(V__ORGANISM,s__Organism) &
                 s__patient(V__INJ,V__ORGANISM))))))
     &
     ((s__instance(V__INJ,s__Damaging) &
         ( ? [V__ORGANISM] :
           ((s__instance(V__ORGANISM,s__Organism) &
               s__patient(V__INJ,V__ORGANISM)))))
     =>
     s__instance(V__INJ,s__Injuring)))
)
)

Merge.kif 10049-10056 A process is an instance of injuring if and only if the process is an instance of damaging and there exists an entity such that the entity is an instance of organism and the entity is a patient of the process
( ! [V__PROCESS] :
   (((s__instance(V__PROCESS,s__Creation) =>
         ( ? [V__PATIENT] :
           ((s__instance(V__PATIENT,s__Physical) &
               (s__patient(V__PROCESS,V__PATIENT)
               &
               s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))
         &
         ~(s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))))))))
&
(( ? [V__PATIENT] :
((s__instance(V__PATIENT,s__Physical) &
(s__patient(V__PROCESS,V__PATIENT)
&
s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))
&
~(s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS))))))))
=>
s__instance(V__PROCESS,s__Creation)))
)
)

Merge.kif 12206-12213 A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
( ! [V__PROCESS] :
   (((s__instance(V__PROCESS,s__Destruction) =>
         ( ? [V__PATIENT] :
           ((s__instance(V__PATIENT,s__Physical) &
               (s__patient(V__PROCESS,V__PATIENT)
               &
               s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))
         &
         ~(s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS)))))))))
&
(( ? [V__PATIENT] :
((s__instance(V__PATIENT,s__Physical) &
(s__patient(V__PROCESS,V__PATIENT)
&
s__time(V__PATIENT,s__BeginFn(s__WhenFn(V__PROCESS)))
&
~(s__time(V__PATIENT,s__EndFn(s__WhenFn(V__PROCESS))))))))
=>
s__instance(V__PROCESS,s__Destruction)))
)
)

Merge.kif 11712-11719 A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
( ! [V__O,V__ACTOR] :
   (((s__instance(V__O,s__ContentBearingPhysical) &
         s__instance(V__ACTOR,s__Human))
       =>
       ((s__actedIn(V__ACTOR,V__O)
         =>
         (( ? [V__PERF] :
             ((s__instance(V__PERF,s__DramaticActing) &
                 s__patient(V__PERF,V__ACTOR)
               &
               s__result(V__PERF,V__O))))))))
)
)

Mid-level-ontology.kif 19924-19930
( ! [V__OBJ,V__SITE] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__advertisedOn(V__OBJ,V__SITE)
         =>
         (( ? [V__ADVERT] :
             ((s__instance(V__ADVERT,s__Advertising) &
                 s__hostedOn(V__ADVERT,V__SITE)
               &
               s__patient(V__ADVERT,V__OBJ))))))))
)
)

UXExperimentalTerms.kif 250-256
( ! [V__AGR,V__DATE] :
   (((s__instance(V__AGR,s__Proposition) &
         s__subclass(V__DATE,s__TimePosition) &
         s__instance(V__DATE,s__Class))
       =>
       ((s__agreementAdoptionDate(V__AGR,V__DATE)
         =>
         (( ? [V__PROCESS, V__DAY] :
             ((s__instance(V__DAY,s__TimePosition) &
                 (s__instance(V__PROCESS,s__Committing) &
                   s__instance(V__DAY,V__DATE)
                 &
                 s__patient(V__PROCESS,V__AGR)
               &
               s__time(V__PROCESS,V__DAY)))))))))
)
)

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

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

emotion.kif 349-363
( ! [V__ACTOR,V__SPEAK,V__DRAMA,V__VIEWER] :
   (((s__instance(V__ACTOR,s__Agent) &
         s__instance(V__VIEWER,s__Agent))
       =>
       (((s__attribute(V__ACTOR,s__VoiceActor) &
             s__instance(V__DRAMA,s__DramaticActing) &
             s__agent(V__DRAMA,V__ACTOR)
           &
           s__instance(V__SPEAK,s__LinguisticCommunication) &
           s__agent(V__SPEAK,V__ACTOR)
         &
         s__subProcess(V__SPEAK,V__DRAMA))
     =>
     ((~(( ? [V__S] :
             ((s__instance(V__S,s__Seeing) &
                 s__patient(V__S,V__ACTOR)
               &
               s__agent(V__S,V__VIEWER)))))
     &
     ( ? [V__H] :
       ((s__instance(V__H,s__Hearing) &
           s__patient(V__H,V__ACTOR)
         &
         s__agent(V__H,V__VIEWER)))))))))
)
)

Biography.kif 524-543
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
No TPTP formula. May not be expressible in strict first order. Music.kif 406-417
( ! [V__O,V__P] :
   ((s__instance(V__O,s__Object) =>
       (((s__attribute(V__O,V__P)
           &
           s__instance(V__P,s__Fingerprint) &
           ~(s__instance(V__O,s__Finger)))
         =>
         (( ? [V__PR, V__F] :
             ((s__instance(V__PR,s__Process) &
                 (s__instrument(V__PR,V__F)
                 &
                 s__instance(V__F,s__Finger) &
                 s__attribute(V__F,V__P)
               &
               s__patient(V__PR,V__O)))))))))
)
)

Mid-level-ontology.kif 11885-11895
No TPTP formula. May not be expressible in strict first order. Merge.kif 16640-16653
( ! [V__OFFICER,V__COR] :
   ((s__instance(V__OFFICER,s__Agent) =>
       (((s__attribute(V__OFFICER,V__COR)
           &
           s__instance(V__COR,s__CommissionedOfficerRank))
         =>
         (( ? [V__MANAGE, V__PATIENT] :
             ((s__instance(V__MANAGE,s__Managing) &
                 s__agent(V__MANAGE,V__OFFICER)
               &
               s__patient(V__MANAGE,V__PATIENT)
             &
             (s__instance(V__PATIENT,s__MilitaryOrganization) |
               s__attribute(V__PATIENT,s__Soldier)))))))))
)
)

Military.kif 286-297
( ! [V__Order,V__Period] :
   (((s__instance(V__Order,s__Agreement) &
         s__instance(V__Order,s__Object) &
         s__instance(V__Period,s__TimeInterval))
       =>
       (((s__attribute(V__Order,s__FOKOrder) &
             s__agreementPeriod(V__Order,V__Period))
         =>
         ((( ? [V__Fill, V__Time1] :
               ((s__instance(V__Time1,s__TimeInterval) &
                   (s__instance(V__Fill,s__FillingAnOrder) &
                     s__patient(V__Fill,V__Order)
                   &
                   (s__WhenFn(V__Fill)
                   = V__Time1)
                 &
                 s__starts(V__Time1,V__Period)))))
       |
       ( ? [V__Kill, V__Time2] :
         ((s__instance(V__Time2,s__TimeInterval) &
             (s__instance(V__Kill,s__CancellingAnOrder) &
               s__patient(V__Kill,V__Order)
             &
             (s__WhenFn(V__Kill)
             = V__Time2)
           &
           s__starts(V__Time2,V__Period))))))))))
)
)

FinancialOntology.kif 2842-2858
( ! [V__Order,V__Period,V__End,V__Time] :
   (((s__instance(V__Order,s__Agreement) &
         s__instance(V__Order,s__Object) &
         s__instance(V__Period,s__TimeInterval) &
         s__instance(V__End,s__TimeInterval) &
         s__instance(V__Time,s__TimeInterval))
       =>
       (((s__attribute(V__Order,s__GTCOrder) &
             s__agreementPeriod(V__Order,V__Period))
         =>
         ((( ? [V__Execute] :
               ((s__instance(V__Execute,s__FillingAnOrder) &
                   s__patient(V__Execute,V__Order)
                 &
                 (s__WhenFn(V__Execute)
                 = V__Time)
               &
               s__overlapsTemporally(V__Time,V__Period))))
       |
       ( ? [V__Cancel] :
         ((s__instance(V__Cancel,s__CancellingAnOrder) &
             s__patient(V__Cancel,V__Order)
           &
           (s__WhenFn(V__Cancel)
           = V__End)
         &
         s__finishes(V__End,V__Period)))))))))
)
)

FinancialOntology.kif 2878-2894
( ! [V__Order,V__Period] :
   (((s__instance(V__Order,s__Agreement) &
         s__instance(V__Order,s__Object) &
         s__instance(V__Period,s__TimeInterval))
       =>
       (((s__attribute(V__Order,s__IOCOrder) &
             s__agreementPeriod(V__Order,V__Period))
         =>
         ((( ? [V__Fill, V__Time1] :
               ((s__instance(V__Time1,s__TimeInterval) &
                   (s__instance(V__Fill,s__FillingAnOrder) &
                     s__patient(V__Fill,V__Order)
                   &
                   (s__WhenFn(V__Fill)
                   = V__Time1)
                 &
                 s__starts(V__Time1,V__Period)))))
       |
       ( ? [V__Kill, V__Time2] :
         ((s__instance(V__Time2,s__TimeInterval) &
             (s__instance(V__Kill,s__CancellingAnOrder) &
               s__patient(V__Kill,V__Order)
             &
             (s__WhenFn(V__Kill)
             = V__Time2)
           &
           s__starts(V__Time2,V__Period))))))))))
)
)

FinancialOntology.kif 2815-2831
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1979-2000
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2002-2023
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1951-1960
( ! [V__X] :
   (((s__attribute(V__X,s__DutyFree) &
         s__instance(V__X,s__Product))
       =>
       (~(( ? [V__DUTY] :
             ((s__instance(V__DUTY,s__DutyTax) &
                 s__patient(V__DUTY,V__X)))))))
   )
)

Hotel.kif 1444-1452

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. WMD.kif 912-920 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM


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