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 2473-2477
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 496-498
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2469-2469	The number 1 argument of experiencer is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2470-2470	The number 2 argument of experiencer is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2467-2467	experiencer is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2468-2468	experiencer is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2471-2471	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.	french_format.kif 74-74
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 102-102
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1900-1900
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 26-26
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 82-82
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 142-142
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 93-93
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 215-215
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13237-13237	attends is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25087-25087	loses control is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24531-24531	service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22807-22807	service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 104-104	service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22806-22806	service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22805-22805	service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 34-34	service recipient is a subrelation of experiencer
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 216-216	service recipient is a subrelation of experiencer

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7294-7301	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 847-868	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 548-563	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.	Medicine.kif 6488-6500	If AVPU pain status is an attribute of an agent holds during a time interval and a process is an instance of pain and the time of existence of the process takes place during the time interval and the agent experiences the process, then there exists another process such that the other process is an instance of body motion and the agent experiences the other process and the time of existence of the other process takes place during the time interval and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18390-18396	If embryonic is an attribute of an agent holds during a time interval and a process is an instance of birth and equal another time interval and 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 18368-18374	If larval is an attribute of an agent holds during a time interval and a process is an instance of birth and equal another time interval and 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 18580-18590	If a process is an instance of accelerating and equal a time interval and 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 equal the time interval and the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1538-1548	If a process is an instance of anaphylaxis and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of death and the agent experiences the entity and the process causes the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6321-6330	If a process is an instance of asphyxiation and an agent experiences the process, then there doesn't exist an entity such that the entity is an instance of breathing and the process experiences the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2228-2237	If a process is an instance of rheumatoid arthritis and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of joint pain and the process causes the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2198-2214	If a process is an instance of auto-immune disease and a cognitive agent experiences the process, then there exist an object, another process and another object such that the object is an instance of antibody and the object is a part of the cognitive agent and the other object is an instance of cell and the other object is a part of the cognitive agent and the other process is an instance of destruction and the object is an instrument for the other process and the cognitive agent doesn't desire the other process is an instance of destruction and the object is an instrument for the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17730-17740	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.	Medicine.kif 80-94	If a process is an instance of bleeding and an agent experiences the process, then there exist an object and another process such that the object is an instance of vein or the object is an instance of artery and the object is a part of the agent and the other process is an instance of damaging and the time of existence of the other process happens earlier than the time of existence of the process and the object is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely, then there exists another entity such that the other entity is an instance of applying a tourniquet and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23091-23106	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 equal the entity and 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 17750-17760	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.	Medicine.kif 3180-3195	If a transfer is an instance of breakthrough case and the object transferred in the transfer is an object and the object is an instance of the objectC and an agent experiences the transfer, then there exists the objectAX such that the objectAX is an instance of vaccination and the agent experiences the objectAX and the objectACCINECLASS is a vaccine for the objectC and the objectACCINE is an instance of the objectACCINECLASS and the object transferred in the objectAX is the objectACCINE and the time of existence of the objectAX happens earlier than the time of existence of the transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10337-10344	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 23012-23020	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 23006-23010	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 13102-13110	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 13085-13100	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 6980-6991	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 6993-7012	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

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 357-390	A year is an instance of the year the yearEAR and equal the male life expectancy at birth of a geopolitical area and the year and 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 equal the other integer and 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 82-97	A year is an instance of the year an integer and equal the births per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 118-133	A year is an instance of the year an integer and equal the deaths per thousand of a geopolitical area and the year and a real number if and only if equal the population of the geopolitical area and 1000 and another real number and equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 238-264	A year is an instance of the year an integer and equal the deaths per thousand live births of a geopolitical area and the year and a real number if and only if equal another integer and the number of instances in the class described by a symbolic string and equal the other integer and 1000 and another real number and equal a third integer and the number of instances in the class described by another symbolic string and equal the third integer and the other real number and the real number
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	A year is an instance of the year an integer and equal the female life expectancy at birth of a geopolitical area and the year and 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 equal the other integer and 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 310-342	A year is an instance of the year an integer and equal the life expectancy at birth of a geopolitical area and the year and 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 equal the other integer and 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 7168-7181	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 815-836	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.	Medicine.kif 6488-6500	If AVPU pain status is an attribute of an agent holds during a time interval and a process is an instance of pain and the time of existence of the process takes place during the time interval and the agent experiences the process, then there exists another process such that the other process is an instance of body motion and the agent experiences the other process and the time of existence of the other process takes place during the time interval and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25535-25549	If menopause is an attribute of an agent holds during a time interval and equal a real number and (1 year duration(s) and the beginning of the time interval) and equal another time interval and 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 18580-18590	If a process is an instance of accelerating and equal a time interval and 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 equal the time interval and the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1538-1548	If a process is an instance of anaphylaxis and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of death and the agent experiences the entity and the process causes the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6321-6330	If a process is an instance of asphyxiation and an agent experiences the process, then there doesn't exist an entity such that the entity is an instance of breathing and the process experiences the entity holds during the time of existence of the process
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 17587-17599	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 20250-20266	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.	Medicine.kif 3180-3195	If a transfer is an instance of breakthrough case and the object transferred in the transfer is an object and the object is an instance of the objectC and an agent experiences the transfer, then there exists the objectAX such that the objectAX is an instance of vaccination and the agent experiences the objectAX and the objectACCINECLASS is a vaccine for the objectC and the objectACCINE is an instance of the objectACCINECLASS and the object transferred in the objectAX is the objectACCINE and the time of existence of the objectAX happens earlier than the time of existence of the transfer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10337-10344	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 13102-13110	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 6980-6991	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 74-83	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 17901-17909	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

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 456-469	A year is an instance of the year an integer and equal the children born per woman of a geopolitical area and the year and 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: