TreeView Knowledge Base Browser

appearance as argument number 1

s__documentation(s__experiencer__m,s__ChineseLanguage,'"(experiencer ?PROCESS ?AGENT) 的意思是 ?AGENT 在经历 ?PROCESS 这个 Process。例如：在以下佑舟看见哪尾鱼这命题，佑舟是看见这过程的 experiencer。注： experiencer 不像 agent，参数之间并不需要含有因果关系。"')	chinese_format.kif 1872-1874
s__documentation(s__experiencer__m,s__EnglishLanguage,'"(experiencer ?PROCESS ?AGENT) means that ?AGENT experiences the Process ?PROCESS. For example, Yojo is the experiencer of seeing in the following proposition: Yojo sees the fish. Note that experiencer, unlike agent, does not entail a causal relation between its arguments."')	Merge.kif 2403-2407
s__domain(s__experiencer__m,n__1,s__Process)	Merge.kif 2399-2399	The number 1 argument of experiencer is an instance of process
s__domain(s__experiencer__m,n__2,s__Agent)	Merge.kif 2400-2400	The number 2 argument of experiencer is an instance of agent
s__instance(s__CaseRole,s__Class) s__instance(s__experiencer__m,s__CaseRole)	Merge.kif 2397-2397	experiencer is an instance of case role
s__instance(s__experiencer__m,s__PartialValuedRelation) s__instance(s__PartialValuedRelation,s__Class)	Merge.kif 2398-2398	experiencer is an instance of partial valued relation
s__subrelation(s__experiencer__m,s__involvedInEvent__m)	Merge.kif 2401-2401	experiencer is a subrelation of involved in event

appearance as argument number 2

s__format(s__ChineseLanguage,s__experiencer__m,'"%2 %n{doesnt} 经历了 %1"')	chinese_format.kif 103-103
s__format(s__EnglishLanguage,s__experiencer__m,'"%2 %n{doesnt} experience%p{s} %1"')	english_format.kif 103-103
s__subrelation(s__attends__m,s__experiencer__m)	Merge.kif 12460-12460	attends is a subrelation of experiencer
s__subrelation(s__losesControl__m,s__experiencer__m)	Mid-level-ontology.kif 22537-22537	loses control is a subrelation of experiencer
s__subrelation(s__serviceRecipient__m,s__experiencer__m)	Mid-level-ontology.kif 21981-21981	service recipient is a subrelation of experiencer
s__termFormat(s__ChineseLanguage,s__experiencer__m,'"体验者"')	domainEnglishFormat.kif 22797-22797
s__termFormat(s__ChineseLanguage,s__experiencer__m,'"经历者"')	chinese_format.kif 104-104
s__termFormat(s__ChineseTraditionalLanguage,s__experiencer__m,'"體驗者"')	domainEnglishFormat.kif 22796-22796
s__termFormat(s__EnglishLanguage,s__experiencer__m,'"experiencer"')	domainEnglishFormat.kif 22795-22795

antecedent

( ! [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__AGENT,V__CUST,V__X,V__PHYS] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__CUST,s__CognitiveAgent) & s__instance(V__PHYS,s__Class)) => (((s__freePropertyAmenity(V__AGENT,V__PHYS) & s__instance(V__X,V__PHYS) & 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 526-541	If use of a class is free for a cognitive agent and an agent is an instance of the class and the cognitive agent is a customer of another 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17480-17486	If embryonic is an attribute of an agent holds during a time interval and a process is an instance of birth and another time interval is equal to the time of existence of the process and the agent experiences the process, then the other time interval doesn't overlap the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17458-17464	If larval is an attribute of an agent holds during a time interval and a process is an instance of birth and another time interval is equal to the time of existence of the process and the agent experiences the process, then the other time interval meets the time interval
( ! [V__A,V__T,V__E] : (((s__instance(V__T,s__TimeInterval) & s__instance(V__E,s__Agent)) => (((s__instance(V__A,s__Accelerating) & (V__T = s__WhenFn(V__A)) & s__experiencer(V__A,V__E)) => (~(( ? [V__D] : ((s__instance(V__D,s__Decelerating) & s__experiencer(V__D,V__E) & (V__T = s__WhenFn(V__D)))))))))) ) )	Mid-level-ontology.kif 16294-16304	If a process is an instance of accelerating and a time interval is equal to the time of existence of the process and an agent experiences the process, then there doesn't exist another process such that the other process is an instance of decelerating and the agent experiences the other process and the time interval is equal to the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15485-15495	If a process is an instance of becoming drunk and an agent experiences the process, then sober is an attribute of the agent holds during the beginning of the time of existence of the process and drunk is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20436-20451	If a process is an instance of blushing and an agent experiences the process, then there exist a time interval, another time interval,, , an entity and another entity such that the entity is an instance of emotional state and the other entity is an instance of emotional state and the entity is not equal to the other entity and the entity is an attribute of the agent holds during the time interval and the other entity is an attribute of the agent holds during the other time interval and the time of existence of the process starts the other time interval and the time of existence of the process finishes the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15505-15515	If a process is an instance of sobering up and an agent experiences the process, then drunk is an attribute of the agent holds during the beginning of the time of existence of the process and sober is an attribute of the agent holds during the end of the time of existence of the process
( ! [V__AGENT,V__BIRTH] : ((s__instance(V__AGENT,s__Agent) => (((s__instance(V__BIRTH,s__Birth) & s__experiencer(V__BIRTH,V__AGENT)) => (( ? [V__DEATH] : ((s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__AGENT)))))))) ) )	Merge.kif 9799-9806	If a process is an instance of birth and an agent experiences the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20361-20369	If a process is an instance of bleeding and an agent experiences the process, then there exists an entity such that the entity is an instance of blood and the entity is a part of the agent holds during the beginning of the time of existence of the process and the entity is not a part of the agent holds during the end of the time of existence of the process
( ! [V__ANIMAL,V__BLEED] : ((s__instance(V__ANIMAL,s__Agent) => (((s__instance(V__BLEED,s__Bleeding) & s__experiencer(V__BLEED,V__ANIMAL)) => (s__instance(V__ANIMAL,s__Animal))))) ) )	Mid-level-ontology.kif 20355-20359	If a process is an instance of bleeding and an agent experiences the process, then the agent is an instance of animal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1882-1888	If a process is an instance of chills and an agent experiences the process, then feeling hot is an attribute of the agent holds during the time of existence of the process
( ! [V__C,V__H] : ((s__instance(V__H,s__Agent) => (((s__instance(V__C,s__Choking) & s__experiencer(V__C,V__H)) => (( ? [V__CO] : ((s__instance(V__CO,s__Coughing) & s__subProcess(V__CO,V__C) & s__experiencer(V__CO,V__H)))))))) ) )	Mid-level-ontology.kif 10988-10996	If a process is an instance of choking and an agent experiences the process, then there exists the processO such that the processO is an instance of coughing and the processO is a subprocess of the process and the agent experiences the processO
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10971-10986	If a process is an instance of choking and an agent experiences the process, then there exist an entity, an object and another object such that the entity is an instance of object and the object is an instance of trachea and the other object is an instance of lung and the object is a part of the agent and the other object is a part of the agent and the entity is located at the object or the entity is located at the other object holds during the time of existence of the process
( ! [V__C,V__H] : ((s__instance(V__H,s__Agent) => (((s__instance(V__C,s__Coughing) & s__experiencer(V__C,V__H)) => (( ? [V__I, V__E] : ((s__instance(V__I,s__Inhaling) & s__instance(V__E,s__Exhaling) & s__subProcess(V__I,V__C) & s__subProcess(V__E,V__C) & s__experiencer(V__I,V__H) & s__experiencer(V__E,V__H)))))))) ) )	Mid-level-ontology.kif 5700-5711	If a process is an instance of coughing and an agent experiences the process, then there exist another process and a third process such that the other process is an instance of inhaling and the third process is an instance of exhaling and the other process is a subprocess of the process and the third process is a subprocess of the process and the agent experiences the other process and the agent experiences the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5713-5732	If a process is an instance of coughing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the other entity is an instance of lung and the fourth entity is an instance of throat and the third entity is an instance of object and the entity is an instance of removing and the other entity is a part of the agent and the fourth entity is a part of the agent and the object transferred in the entity is the third entity and the third entity is located at the fourth entity or the third entity is located at the other entity holds during immediately before the time of existence of the process
( ! [V__C,V__H] : ((s__instance(V__H,s__Agent) => (((s__instance(V__C,s__Crying) & s__experiencer(V__C,V__H)) => (( ? [V__T, V__E] : ((s__instance(V__T,s__TearSubstance) & s__origin(V__C,V__E) & s__objectTransferred(V__C,V__T) & s__instance(V__E,s__Eye) & s__part(V__E,V__H)))))))) ) )	emotion.kif 1137-1147	If a transfer is an instance of crying and an agent experiences the transfer, then there exist an object and another object such that the object is an instance of tear substance and the transfer originates at the other object and the object transferred in the transfer is the object and the other object is an instance of eye and the other object is a part of the agent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1149-1155	If a process is an instance of crying and an agent experiences the process, then sadness is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5779-5797	If a process is an instance of sneezing and an agent experiences the process, then the process has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of nasal cavity and the other entityOSE is an instance of nose and the other entityOSE is equal to the host of the hole the other entity and the third entity is an instance of object and the entity is an instance of removing and the other entityOSE is a part of the agent and the object transferred in the entity is the third entity and the third entity is located at the other entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9824-9839	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exists an entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if another entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 83-92	If a process is an instance of death and an entity is an instance of OrganismRemains and an agent is an instance of organism and another entity is a part of the entity holds during a time interval and the other entity is a part of the agent holds during another time interval and the other time interval happens earlier than the time interval and the agent experiences the process, then the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17307-17311	If a process is an instance of dreaming and an agent experiences the process, then asleep is an attribute of the agent holds during the time of existence of the process
( ! [V__P,V__A,V__E] : (((s__subclass(V__P,s__BodyPart) & s__instance(V__A,s__Agent) & s__instance(V__E,s__Process)) => (((s__instance(V__E,s__EdemaFn(V__P)) & s__experiencer(V__E,V__A)) => (( ? [V__PI] : ((s__instance(V__PI,s__BodyPart) & s__part(V__PI,V__A) & s__located(V__E,V__PI)))))))) ) )	Mid-level-ontology.kif 9318-9326	If a process is an instance of edema in a kind of body part and an agent experiences the process, then there exists a kind of body partI such that the kind of body partI is an instance of body part and the kind of body partI is a part of the agent and the process is located at the kind of body partI
( ! [V__A,V__E] : ((s__instance(V__A,s__Agent) => (((s__instance(V__E,s__Edema) & s__experiencer(V__E,V__A)) => (( ? [V__T, V__P, V__L] : ((s__instance(V__T,s__Transfer) & s__instance(V__L,s__Liquid) & s__instance(V__P,s__BodyPart) & s__part(V__P,V__A) & s__destination(V__T,V__P) & s__moves(V__T,V__L) & s__subProcess(V__T,V__E)))))))) ) )	Mid-level-ontology.kif 9296-9308	If a process is an instance of swelling and an agent experiences the process, then there exist a motion, an object and another object such that the motion is an instance of transfer and the other object is an instance of liquid and the object is an instance of body part and the object is a part of the agent and the motion ends up at the object and the other object moves during the motion and the motion is a subprocess of the process
( ! [V__A,V__ELT,V__T] : (((s__instance(V__A,s__Agent) & s__instance(V__T,s__Object)) => (((s__instance(V__ELT,s__ExperiencingALumpInTheThroat) & s__experiencer(V__ELT,V__A)) => (( ? [V__P] : ((s__instance(V__P,s__Perception) & s__subProcess(V__P,V__ELT) & s__agent(V__P,V__A) & s__patient(V__P,V__T) & s__instance(V__T,s__Throat) & s__part(V__T,V__A)))))))) ) )	emotion.kif 1711-1722	If a process is an instance of experiencing a lump in the throat and an agent experiences the process, then there exists another process such that the other process is an instance of perception and the other process is a subprocess of the process and the agent is an agent of the other process and an object is a patient of the other process and the object is an instance of throat and the object is a part of the agent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 104-117	The births per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 138-151	The deaths per thousand of a geopolitical area and the year an integer is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to a number and another integer is equal to the number of instances in the class described by a symbolic string and the other integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 253-277	The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a number and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 411-442	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 323-353	The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 367-398	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5884-5897	If allergic a human and a kind of substance and a kind of substanceUB is an instance of the kind of substance and the kind of substance meets the human holds during a time position, then the statement there exists another entity such that the other entity is an instance of AllergicReaction and the human experiences the other entity and the time of existence of the other entity overlaps the time position and the beginning of the time position happens before the beginning of the time of existence of the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	If mausaharati is an attribute of an agent and a time interval is an instance of drumming and the agent is an agent of the time interval and the time intervalAY is an instance of day and another time interval is an instance of sunrise and the other time interval takes place during the time interval and the time interval happens before the other time interval, then the time interval has the purpose there exist another entity, the other time intervalUHUR and a fourth entity such that the fourth entity is an instance of waking up and the other entity experiences the fourth entity and the other time intervalUHUR is an instance of suhur and the other entity is an agent of the other time intervalUHUR and the fourth entity happens before the other time intervalUHUR and the fourth entity takes place during the time intervalAY and the other time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 484-500	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the cognitive agent allows the other cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the other cognitive agent is an agent of the other entity or the other cognitive agent experiences the other entity
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.	emotion.kif 161-172	If an emotional state is an attribute of an entity holds during a time position and actionTendency the emotional state and a kind of emotional behavioral process, then the statement there exists a kind of emotional behavioral processI such that the kind of emotional behavioral process is an instance of the kind of emotional behavioral processI and the kind of emotional behavioral processI takes place during the time position and the entity experiences the kind of emotional behavioral processI has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22997-23011	If menopause is an attribute of an agent holds during a time interval and a number is equal to (year duration 1 and the beginning of the time interval) and another time interval is equal to interval between the other time interval and the beginning of the time interval, then there doesn't exist a process such that the process is an instance of menstruation and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 120-131	If evacuee is an attribute of an agent holds during a time interval and the time interval is an instance of time interval, then there exist a process and another agent such that the process is an instance of evacuation and the other agent is an agent of the process and the other agent is an instance of military organization and the agent experiences the process and the time of existence of the process happens earlier than the time interval
( ! [V__A,V__T,V__E] : (((s__instance(V__T,s__TimeInterval) & s__instance(V__E,s__Agent)) => (((s__instance(V__A,s__Accelerating) & (V__T = s__WhenFn(V__A)) & s__experiencer(V__A,V__E)) => (~(( ? [V__D] : ((s__instance(V__D,s__Decelerating) & s__experiencer(V__D,V__E) & (V__T = s__WhenFn(V__D)))))))))) ) )	Mid-level-ontology.kif 16294-16304	If a process is an instance of accelerating and a time interval is equal to the time of existence of the process and an agent experiences the process, then there doesn't exist another process such that the other process is an instance of decelerating and the agent experiences the other process and the time interval is equal to the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	If an object is an instance of armor and the object is a part of another object or the object meets the other object, then the object has the purpose there exists an entity such that the entity is an instance of maintaining and the object is an instrument for the entity and the other object experiences the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	If an object is an instance of armor and the object is a part of another object or the object meets the other object, then the object has the purpose there doesn't exist an entity such that the entity is an instance of damaging and the object is an instrument for the entity and the other object experiences the entity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1941-1954	If a process is an instance of angry voice utterance and an agent is an agent of the process, then the statement the process is an instance of angry voice utterance and the agent is an agent of the process is a causes proposition of there exists the agentNG such that the agentNG is an instance of anger and the agent experiences the agentNG has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15342-15354	If an entity is an instance of legal award and the entity includes a reference to a process and the process is an instance of legal action and a cognitive agent is an agent of the process, then the entity allows the cognitive agent to perform task of the type there exist another entity, a third entity and a fourth entity such that the other entity is an instance of getting and the cognitive agent experiences the other entity and the third entity is a patient of the other entity and value of the third entity is the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17712-17728	If a transfer is an instance of bequeathing and an agent is an agent of the transfer and the transfer ends up at an entity and the object transferred in the transfer is the agentROP, then there exists a process such that the process is an instance of death and the agent experiences the process and the time of existence of the process happens earlier than the time of existence of the transfer and the agent possesses the agentROP holds during immediately before the time of existence of the process and the agent confers norm the entity possesses the agentROP for permission
( ! [V__AGENT,V__BIRTH] : ((s__instance(V__AGENT,s__Agent) => (((s__instance(V__BIRTH,s__Birth) & s__experiencer(V__BIRTH,V__AGENT)) => (( ? [V__DEATH] : ((s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__AGENT)))))))) ) )	Merge.kif 9799-9806	If a process is an instance of birth and an agent experiences the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process
( ! [V__C,V__H] : ((s__instance(V__H,s__Agent) => (((s__instance(V__C,s__Choking) & s__experiencer(V__C,V__H)) => (( ? [V__CO] : ((s__instance(V__CO,s__Coughing) & s__subProcess(V__CO,V__C) & s__experiencer(V__CO,V__H)))))))) ) )	Mid-level-ontology.kif 10988-10996	If a process is an instance of choking and an agent experiences the process, then there exists the processO such that the processO is an instance of coughing and the processO is a subprocess of the process and the agent experiences the processO
( ! [V__C,V__H] : ((s__instance(V__H,s__Agent) => (((s__instance(V__C,s__Coughing) & s__experiencer(V__C,V__H)) => (( ? [V__I, V__E] : ((s__instance(V__I,s__Inhaling) & s__instance(V__E,s__Exhaling) & s__subProcess(V__I,V__C) & s__subProcess(V__E,V__C) & s__experiencer(V__I,V__H) & s__experiencer(V__E,V__H)))))))) ) )	Mid-level-ontology.kif 5700-5711	If a process is an instance of coughing and an agent experiences the process, then there exist another process and a third process such that the other process is an instance of inhaling and the third process is an instance of exhaling and the other process is a subprocess of the process and the third process is a subprocess of the process and the agent experiences the other process and the agent experiences the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 72-81	If a process is an instance of death and an entity is an instance of OrganismRemains and an agent is an instance of organism and another entity is a part of the entity holds during a time interval and the other entity is a part of the agent holds during another time interval and the other time interval happens earlier than the time interval and the entity is a result of the process, then the agent experiences the process
( ! [V__AGENT,V__DEGREE] : ((s__instance(V__AGENT,s__Agent) => (((s__instance(V__DEGREE,s__AcademicDegree) & s__possesses(V__AGENT,V__DEGREE)) => (( ? [V__PROGRAM, V__STUDY] : ((s__instance(V__STUDY,s__Process) & (s__instance(V__PROGRAM,s__EducationalProgram) & s__realization(V__STUDY,V__PROGRAM) & s__experiencer(V__STUDY,V__AGENT))))))))) ) )	Mid-level-ontology.kif 15655-15663	If an object is an instance of academic degree and an agent possesses the object, then there exist a proposition and a process such that the proposition is an instance of educational program and the process expresses the content of the proposition and the agent experiences the process
( ! [V__AGENT,V__DISEASE] : ((s__instance(V__AGENT,s__Object) => (((s__instance(V__DISEASE,s__LifeThreateningDisease) & s__attribute(V__AGENT,V__DISEASE)) => (s__capability(s__Death,s__experiencer__m,V__AGENT))))) ) )	WMD.kif 1015-1019	If an attribute is an instance of life threatening disease and the attribute is an attribute of an object, then the object is capable of doing death as a experiencer

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
No TPTP formula. May not be expressible in strict first order.	People.kif 462-472	The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	WMD.kif 762-768	?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM

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

KB Term:			Term intersection

English Word: