patient - Sigma Knowledge base Browser

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 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	If a human &actedIn a content bearing physical. and a process is an instance of dramatic acting and the human is a patient of the process and the content bearing physical is a result of the process, then Actor is an attribute of the human holds during the time of existence of the process
( ! [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	If an agent is an agent of a process and the process originates at an object and a physical is a patient of the process and value of the physical is a currency measure, then there exists a financial transaction such that the financial transaction is a subprocess of the process and the financial transaction is an instance of payment and the currency measure is a transaction amount of the financial transaction and the financial transaction originates at the agent and the financial transaction ends up at the object
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 153-171	If an organization is capable of doing valet parking as a agent and the organization is a customer of a cognitive agent and the organization is located at an object and a process is an instance of arriving and the cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at the object, then a human holds the position of valet in the organization and the statement there exists another entity such that the other entity is an instance of valet parking and the human is an agent of the other entity and the entity is a patient of the other entity and the other entity ends up at a third entity and the third entity is an instance of parking area has the modal force of possibility
( ! [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	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is false
( ! [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	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a sentence is an instance of formula and the sentence is a patient of the experimenting and the real number is equal to 100, then the sentence is true
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 664-670	If a real number is the confidence in an experimenting and the experimenting is an instance of experimenting and a formula is an instance of formula and the formula is a patient of the experimenting, then the real number expresses the probability of the formula
( ! [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	If a cognitive agent is a customer of another cognitive agent and the cognitive agent charges a currency measure in corkage for a kind of object and another object is an instance of a kind of object and there doesn't exist a process such that the process is an instance of buying and the other object is a patient of the process and the process ends up at the other cognitive agent and the process originates at the cognitive agent and another process is an instance of drinking and the other cognitive agent is an agent of the other process and the other object is a resource for the other process, then there exists a third process such that the third process is an instance of corkage and the other cognitive agent is an agent of the third process and the third process includes a reference to the other object and the third process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a time interval is an instance of tremor and the physical system is a patient of the time interval and an entity is an instance of UnitOfLength and the amplitude the time interval is a quantity the entity(s) holds during the time interval1 and the amplitude the time interval is another quantity the entity(s) holds during the time interval2 and the time interval1 takes place during the time interval and the time interval2 takes place during the time interval and the time interval1 happens earlier than the time interval2, then the quantity is greater than the other quantity
( ! [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	If a process ends up at an object and the process is an instance of messaging and an entity is a patient of the process and the object is an instance of telex, then there exist another process and another entity such that the object is an instrument for the other process and the other entity is a result of the other process and the other entity expresses the entity and the other entity is an instance of text and the beginning of the time of existence of the process happens before the beginning of the time of existence of the other process
( ! [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	If edition a positive integer of a kind of content bearing object is equal to another kind of content bearing object and edition another positive integer of a kind of content bearing object is equal to a third kind of content bearing object and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of another kind of content bearing object and another entity is an instance of a third kind of content bearing object and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
No TPTP formula. May not be expressible in strict first order.	Dining.kif 332-346	If a cognitive agent provides an object and the cognitive agent is a customer of another cognitive agent and an entity is an instance of the object and the other cognitive agent desires there exists another entity such that the other entity is an instance of intentional process and the entity is a patient of the other entity and the other cognitive agent is an agent of the other entity, then the statement the cognitive agent allows the other cognitive agent to perform task of the type the entity uses the other cognitive agent has the modal force of possibility
( ! [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	If a class is free for customers renting a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of a cognitive agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at another cognitive agent and an agent is an instance of the class and the cognitive agent possesses the agent and the cognitive agent is a customer of the other cognitive agent and the agent is an instance of process and the other cognitive agent is an agent of the agent or the other cognitive agent experiences the agent or the cognitive agent possesses the agent and the agent is an instance of object and the agent uses the other cognitive agent, then the agent is price 0 united states dollar(s) for the cognitive agent
( ! [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	If use of a class is free for a kind of hotel unit and the class is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process is price 0 united states dollar(s) for the agent
( ! [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	If use of a class is free for a kind of hotel unit and the class is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the class or another process is an instance of the class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-811	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 524-533	If an agent desires dead is an attribute of an entity holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the entity is a patient of the agentURDER and the time interval happens earlier than the time of existence of the agentURDER, then premeditated is an attribute of the agentURDER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19561-19572	If a process is an instance of aborting and an entity is a patient of the process and the entity is an instance of woman, then pregnant is an attribute of the entity holds during the beginning of the time of existence of the process and pregnant is not an attribute of the entity holds during the end of the time of existence of the process
( ! [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	If a process is an instance of accrediting and an entity is a patient of the process, then the entity is an instance of educational organization
( ! [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	If an object is an instance of anchor and the objectTTACH is an instance of attaching and the object is an instrument for the objectTTACH and an entity is a patient of the objectTTACH, then the entity is an instance of water vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 980-993	If a process is an instance of appointing and an entity is a patient of the process, then there exist another entity and a third entity such that the entity doesn't hold the position of the other entity in the third entity holds during the beginning of the time of existence of the process and the entity holds the position of the other entity in the third entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11761-11775	If a process is an instance of attaching and an entity is a patient of the process and another entity is a patient of the process and the entity is not connected to the other entity holds during the beginning of the time of existence of the process and the entity is connected to the other entity holds during the end of the time of existence of the process, then the process attaches the entity to another object and the process attaches the other entity to another object
( ! [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	If an agent is an instance of herbivore and the agent is an agent of a process and the process is an instance of eating and an entity is a patient of the process, then the entity is an instance of plant

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	If a human &actedIn a content bearing physical., then there exists a process such that the process is an instance of dramatic acting and the human is a patient of the process and the content bearing physical is a result of the process
( ! [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	If an object was advertisedOn a WebSite, then there exists a web listing such that the web listing is an instance of advertising and the web listing is hosted on the WebSite and the object is a patient of the web listing
( ! [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	If a kind of time position is an agreement adoption date of a proposition, then there exist a process and another time position such that the process is an instance of committing and the other time position is an instance of a kind of time position and the proposition is a patient of the process and the process exists during the other time position
( ! [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	If appraisal as just treatment is an attribute of a cognitive agent and the cognitive agentJT is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentJT, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentJT includes a reference to the other process and the cognitive agent2 is an agent of the other process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent wants the other process
( ! [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	If appraisal as unjust treatment is an attribute of a cognitive agent and the cognitive agentUJ is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentUJ, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentUJ includes a reference to the other process and the cognitive agent2 is an agent of the other process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent doesn't want the other process
( ! [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	If voice actor is an attribute of an agent and a process is an instance of dramatic acting and the agent is an agent of the process and another process is an instance of linguistic communication and the agent is an agent of the other process and the other process is a subprocess of the process, then there doesn't exist a third process such that the third process is an instance of seeing and the agent is a patient of the third process and another agent is an agent of the third process and there exists a fourth process such that the fourth process is an instance of hearing and the agent is a patient of the fourth process and the other agent is an agent of the fourth process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-212	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist an entity, another entity and a third entity such that the entity is an instance of zakat and a fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is a fifth entity the third entity(s) and the third entity is an instance of UnitOfCurrency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Music.kif 405-416	If demo recording is an attribute of an object and the object is an instance of recording, then the object has the purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of demonstrating and the object is a record of the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of group of people
( ! [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	If an attribute is an attribute of an object and the attribute is an instance of fingerprint and the object is not an instance of finger, then there exist the attributeR and another object such that the other object is an instrument for the attributeR and the other object is an instance of finger and the attribute is an attribute of the other object and the object is a patient of the attributeR
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16523-16536	If an attribute is an attribute of an object and the attribute is an instance of subjective assessment attribute, then there exist a time position, a process and an agent such that the process is an instance of judging and the agent is an agent of the process and the object is a patient of the process and the attribute is an attribute of the object is a patient of the process and the agent believes the object the attribute the attribute holds during the time position
( ! [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	If an attribute is an attribute of an agent and the attribute is an instance of commissioned officer rank, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of military organization or soldier is an attribute of the object
( ! [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	If FOK order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to the third time interval and the third time interval starts the time interval
( ! [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	If GTC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exists a process such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to another time interval and the time interval overlaps the other time interval or there exists another process such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to a third time interval and the third time interval finishes the time interval
( ! [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	If IOC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to the third time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1958-1979	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of UnitOfCurrency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1981-2002	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of UnitOfCurrency and the other real number is greater than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1930-1939	If market order is an attribute of a financial transaction and broker is an attribute of an agreement and the agreement is a party to agreement of the financial transaction and the financial transaction is order for another kind of financial transaction for a security, then the agreement is obliged to perform tasks of type the class described by a symbolic string
( ! [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	If duty free is an attribute of an object and the object is an instance of product, then there doesn't exist a process such that the process is an instance of duty tax and the object is a patient of the process

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

KB Term:			Term intersection

English Word: