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 2407-2414
s__domain(s__patient__m,n__1,s__Process)

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

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

s__instance(s__CaseRole,s__SetOrClass)

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

s__instance(s__patient__m,s__PartialValuedRelation)

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

Merge.kif 2405-2405 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 171-171
s__subrelation(s__accountUsed__m,s__patient__m)

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

Mid-level-ontology.kif 21622-21622 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 14566-14566 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 6152-6152 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 14029-14029 experimental control is a subrelation of patient
s__subrelation(s__instrument__m,s__patient__m)

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

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

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

Mid-level-ontology.kif 27594-27594 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 2416-2416 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 2456-2456 result is a subrelation of patient
s__subrelation(s__targetInAttack__m,s__patient__m)

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

Mid-level-ontology.kif 21055-21055 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 11204-11216 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 11366-11378 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 12999-13005 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 18863-18870
( ! [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 14744-14761
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 19561-19572
( ! [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 950-954
( ! [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 4113-4119
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 980-993
No TPTP formula. May not be expressible in strict first order. Merge.kif 11761-11775
( ! [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 18159-18165

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 11204-11216 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 11366-11378 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 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__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 10005-10012 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 12161-12168 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 11668-11675 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 18855-18861
( ! [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 518-537
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 405-416
( ! [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 10938-10948
No TPTP formula. May not be expressible in strict first order. Merge.kif 16523-16536
( ! [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 2821-2837
( ! [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 2857-2873
( ! [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 2794-2810
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1958-1979
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-2002
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1930-1939
( ! [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 1431-1439

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