  patient
|
|
Sigma KEE - patient
|
appearance as argument number 1
|
|
|
| s__documentation(s__patient__m,s__ChineseLanguage,'"(patient ?PROCESS ?ENTITY) 的意思是 ?ENTITY 是 ?PROCESS 中一个可以被搬动、被告诉和能体验等的参与者。例如：在那只猫吞掉了那只金丝雀和比利喜欢这啤酒 的直接受事体会是 patient 的例子。注：一个Process 的 patient 可能会也可能不会因为该 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 21899-21899 |
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 14789-14789 |
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 6272-6272 |
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 14252-14252 |
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 27870-27870 |
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 6278-6278 |
target in attack is a subrelation of patient |
| s__subrelation(s__transported__m,s__patient__m)
|
Mid-level-ontology.kif 21332-21332 |
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 19140-19147 |
|
( ! [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 19838-19849 |
|
( ! [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 18436-18442 |
|
| | 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 19132-19138 |
|
( ! [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 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 11146-11156 |
|
| 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 |
|