TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1872-1874
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2421-2425
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2417-2417	The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2418-2418	The number 2 argument of experiencer is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2415-2415	experiencer is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2416-2416	experiencer is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2419-2419	experiencer is a subrelation of involved in event

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	english_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12945-12945	attends is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23395-23395	loses control is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22839-22839	service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22796-22796
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 104-104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22795-22795
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22794-22794

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6317-6324	If an agent experiences a process and the agent is an instance of pain in the a body part, then there exists the body partART such that the body partART is a part of the process and the body partART is located at the body part
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 841-862	If a kind of physical 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 an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then the object is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 546-561	If use of a kind of physical is free for an agent and a process is an instance of a kind of physical and the agent is a customer of a cognitive agent and the process is an instance of process and the cognitive agent is an agent of the process or the cognitive agent experiences the process or the agent possesses the process and the process is an instance of object and the cognitive agent uses the process, then the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18044-18050	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 18022-18028	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17035-17045	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 16185-16195	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 21252-21267	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 16205-16215	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10153-10160	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 21173-21181	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21167-21171	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 1886-1892	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11617-11625	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 11600-11615	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6003-6014	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 6016-6035	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
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1129-1139	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 1141-1147	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 6082-6100	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,, , the other entityOSE and a fourth 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 fourth 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 fourth entity and the fourth 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 10178-10193	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exist an entity and another 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 the other 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 organism remains 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 18051-18055	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9914-9922	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9892-9904	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

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 383-416	A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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 108-123	A year is an instance of the year an integer and the births per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real 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 other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 144-159	A year is an instance of the year an integer and the deaths per thousand of a geopolitical area and the year is equal to a real number if and only if the population of the geopolitical area and 1000 is equal to another real 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 other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 264-290	A year is an instance of the year an integer and the deaths per thousand live births of a geopolitical area and the year 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 another real 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 other real number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 429-462	A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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 336-368	A year is an instance of the year an integer and the life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of the symbolic string and there doesn't exist a fifth entity such that the fifth entity is an instance of the symbolic string and the fifth 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 6191-6204	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 substanceUB meets the human holds during a time position, then the statement there exists another entity such that the other entity is an instance of allergic reaction 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.	Hotel.kif 504-520	If an agent is a customer of a cognitive agent and the 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 agent allows the 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 cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	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 action tendency the emotional state and a kind of emotional behavioral process, then the statement there exists another entity such that the other entity is an instance of a kind of emotional behavioral process and the time of existence of the other entity takes place during the time position and the entity experiences the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23855-23869	If menopause is an attribute of an agent holds during a time interval and a real number is equal to (1 year duration(s) 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 evacuating 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17035-17045	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 1945-1958	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 16042-16054	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 18460-18476	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10153-10160	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 11617-11625	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 6003-6014	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 organism remains 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16356-16364	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
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1029-1033	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
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2000-2008	If a process is an instance of disgusted voice utterance and an agent is an agent of the process, then there exists another process such that the other process is an instance of disgust and the agent experiences the other process and the other process causes 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.	People.kif 482-495	A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year 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 921-929	?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.	WMD.kif 767-773	?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: