TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2720-2721
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8425-8426
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1444-1445
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8422-8422	The number 1 argument of during is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8423-8423	The number 2 argument of during is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8419-8419	during is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8420-8420	during is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8418-8418	during is an instance of transitive relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 433-433
No TPTP formula. May not be expressible in strict first order.	english_format.kif 439-439
No TPTP formula. May not be expressible in strict first order.	french_format.kif 251-251
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 86-86
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2045-2045
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 203-203
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 565-565
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 126-126
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 272-272
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 275-275
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 120-120
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 434-434
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20703-20703
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20702-20702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20701-20701
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 174-174
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 188-188

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 355-373	If an agent breathes at a rate of an integer breaths per a time interval and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and human adult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12, then healthy is not an attribute of the agent holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	If the damping ratio of a physical system is a real number and the real number is greater than 0 and a process is an instance of tremor and the physical system is a patient of the process and an entity is an instance of unit of length and the amplitude the process is another real number the entity(s) holds during the process1 and the amplitude the process is a third real number the entity(s) holds during the process2 and the process1 takes place during the time of existence of the process and the process2 takes place during the time of existence of the process and the process1 happens earlier than the process2, then the other real number is greater than the third real number
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.	Medicine.kif 6465-6477	If AVPU verbal status is an attribute of an agent holds during a time interval and a process is an instance of speaking and the process ends up at the agent and the time of existence of the process takes place during the time interval, then there exists another process such that the other process is an instance of intentional process and the agent is an agent of 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.	Medicine.kif 1492-1504	If ME/CFS is an attribute of an agent holds during a time interval and a process is an instance of recreation or exercise and the agent is an agent of the process and the time of existence of the process takes place during the time interval, then the statement PEM is an attribute of the agent holds during the time interval2 and the time of existence of the process happens earlier than the time interval2 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32596-32617	If dieting is an attribute of an agent holds during a time interval and dieting is not an attribute of the agent holds during another time interval and an object is an instance of meal and a process is an instance of eating and the agent is an agent of the process and the object is a resource for the process and the time of existence of the process takes place during the time interval and the measure of the object is a real number calorie(s) and another object is an instance of meal and another process is an instance of eating and the agent is an agent of the other process and the other object is a resource for the other process and the time of existence of the other process takes place during the other time interval and the measure of the other object is another real number calorie(s), then the statement the other real number is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	If a time interval is an instance of Easter sunday and another time interval is an instance of lent and the other time interval meets the time interval and the time interval takes place during a third time interval and the third time interval is an instance of year, then the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	If a time interval is an instance of Easter sunday and another time interval is an instance of lent and the other time interval meets the time interval and the other time interval takes place during a third time interval and the third time interval is an instance of year, then the time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9035-9042	If a time interval is an instance of evening and another time interval is an instance of afternoon and a third time interval is an instance of day and the time interval takes place during the third time interval and the other time interval takes place during the third time interval, then the other time interval meets the time interval
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	If an agent is an instance of man and mausaharati is an attribute of the agent and a process is an instance of drumming and the agent is an agent of the process and the processAY is an instance of day and another time interval is an instance of sunrise and the other time interval takes place during the processAY and the time of existence of the process happens earlier than the other time interval, then the process has the purpose there exist an entity, the other time intervalUHUR and a third entity such that the third entity is an instance of waking up and the entity experiences the third entity and the other time intervalUHUR is an instance of suhur and the entity is an agent of the other time intervalUHUR and the time of existence of the third entity happens earlier than the time of existence of the other time intervalUHUR and the time of existence of the third entity takes place during the processAY and the time of existence of the other time intervalUHUR takes place during the processAY
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 455-471	If a process is an instance of measuring breathing and an agent is an agent of the process and an object is an instance of lung and the object is a part of another object and a time interval is an instance of time interval and the time interval takes place during the time of existence of the process and duration of the time interval is minute duration and the other object is a patient of the process, then there exists an entity such that the agent knows the object breathes at a rate of the entity breaths per the time interval holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	If a time interval is an instance of the time interval_CLASS and the time interval_CLASS is a subclass of process and an accessing web page is an instance of accessing web page and an agent is an instance of agent and the agent is an agent of the time interval and the agent is an agent of the accessing web page and the time interval takes place during the accessing web page and a physical is an instance of time interval and there doesn't exist the time interval2 such that the time interval2 is an instance of the time interval_CLASS and the agent is an agent of the time interval2 and the time interval2 takes place during the accessing web page and the beginning of the time of existence of the time interval2 happens before the beginning of the time of existence of the time interval and equal the beginning of the time of existence of the accessing web page and the beginning of the time of existence of the physical and equal the beginning of the time of existence of the time interval and the end of the time of existence of the physical, then equal the time of the accessing web page in the class the time interval_CLASS and the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9469-9474	If a time interval is an instance of Saturday and another time interval is an instance of week and the time interval takes place during the other time interval, then the time interval finishes the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9462-9467	If a time interval is an instance of Sunday and another time interval is an instance of week and the time interval takes place during the other time interval, then the time interval starts the other time interval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6014-6034	If a time interval is an instance of TimePeriod and duration of the time interval is a real number minute duration(s) and the real number is greater than 5.0 and an entity is an instance of human and there doesn't exist a process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval and the entity is a patient of the process, then the statement there exists another entity such that the other entity is an instance of death and the entity experiences the other entity and the time interval meets 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.	Media.kif 387-394	If a time interval is an instance of advent and another time interval is an instance of Christmas day and the time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 396-403	If a time interval is an instance of advent and another time interval is an instance of Christmas day and the other time interval takes place during a third time interval and the third time interval is an instance of year and the time interval meets the other time interval, then the time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of accessing web page and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of accessing web page and the object is an instance of web page and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that equal purchases made in the collection during the time interval and the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	Media.kif 538-547	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of ascension thursday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 40 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 473-482	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of palm sunday and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the third time interval starts a fourth time interval and the other time interval finishes the fourth time interval, then duration of the fourth time interval is 8 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 559-568	If a time interval is an instance of year and another time interval is an instance of Easter sunday and a third time interval is an instance of Pentecost and the other time interval takes place during the time interval and the third time interval takes place during the time interval and the other time interval starts a fourth time interval and the third time interval finishes the fourth time interval, then duration of the fourth time interval is 50 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1793-1815	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is not located at the entity holds during the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1743-1764	If the origin of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is located at the entity holds during the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3947-3959	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of air transitway and a collection is an instance of collection and aircraft is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3919-3931	If a transitway can handle a nonnegative integer number of vehicles during a time interval and the transitway is an instance of land transitway and a collection is an instance of collection and land vehicle is a member type of the collection and the nonnegative integer2 is a member count of the collection and an object is a member of the collection and a motion is an instance of transportation and the object is an instrument for the motion and the time of existence of the motion takes place during the time interval and the transitway is path along which the motion occurs, then the nonnegative integer is greater than or equal to the nonnegative integer2

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 32141-32154	Alone is an attribute of an entity holds during a time interval if and only if there don't exist the entity2 and a process such that equal the entity and the entity2 and the entity2 is an instance of agent and the process is an instance of social interaction and the time of existence of the process takes place during the time interval and the entity is an involved in event of the process and the entity2 is an involved in event of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32189-32197	Mute is an attribute of an agent holds during a time interval if and only if there doesn't exist a process such that the process is an instance of speaking and the time of existence of the process takes place during the time interval and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	If muslim is an attribute of an agent and equal value of belongings of the agent and a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3534-3543	If a collection are first time buyers on a web site during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of buying and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3582-3591	If a collection are first time sellers on a web site during a time interval and an agent is a member of the collection, then there exists a financial transaction such that the financial transaction is an instance of selling and the agent is an agent of the financial transaction and the web site facilitates the financial transaction and the time of existence of the financial transaction takes place during the time interval
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.	Medicine.kif 6465-6477	If AVPU verbal status is an attribute of an agent holds during a time interval and a process is an instance of speaking and the process ends up at the agent and the time of existence of the process takes place during the time interval, then there exists another process such that the other process is an instance of intentional process and the agent is an agent of 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.	Cars.kif 2551-2567	If the measure of an object is a function quantity holds during a time position and the idle speed of an internal combustion engine is the function quantity and another object is an instance of automobile and the internal combustion engine is a part of the other object and the object is a part of the internal combustion engine, then the statement there don't exist an entity and another entity such that the entity takes place during the time position and the entity is an instance of pushing and the entity ends up at the other entity and the other entity is a part of the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32160-32171	If an agent is an instance of agent and motionless is an attribute of the agent holds during a time interval, then there doesn't exist a process such that the process is an instance of body motion and the process is an instance of intentional process and the agent is an agent of the process and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11908-11924	If an object is an instance of body segment and another object is an instance of body segment and the object is connected to the other object and a motion is an instance of body motion and the object moves during the motion, then the statement there doesn't exist the motion2 such that the motion2 is an instance of body motion and the other object moves during the motion2 and the time of existence of the motion2 takes place during the time of existence of the motion has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9593-9606	If an agent is an instance of cavalry unit and a time interval is an instance of battle and the agent is an agent of the time interval, then there exist another agent, an entity and another time interval such that soldier is an attribute of the other agent and the other agent is a member of the agent and the other time interval is an instance of transportation and the other agent is an agent of the other time interval and the entity is an instance of vehicle and the entity is a patient of the other time interval and the other time interval takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8953-8958	If an afternoon is an instance of afternoon and a day is an instance of day and equal the afternoon and the afternoon of the day, then the afternoon takes place during the day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9053-9058	If an evening is an instance of evening and a day is an instance of day and equal the evening and the evening of the day, then the evening takes place during the day
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8937-8942	If a morning is an instance of morning and a day is an instance of day and equal the morning and the morning of the day, then the morning takes place during the day
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1882-1901	If a process is an instance of engine cycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at the object and an entity is an instance of unit of volume and the maximum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1852-1871	If a process is an instance of engine cycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at the object and an entity is an instance of unit of volume and the minimum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1927-1949	If a process is an instance of engine cycle and an engine is an instance of internal combustion engine and an object is an instance of piston and an unit of measure is an instance of unit of length and the object is a part of the engine and the object is a patient of the process and the process is located at the engine and the maximum distance that the pistons of engine the engine travel is a real number the unit of measure(s), then there don't exist a time interval, another time interval,, , a physical,, , another physical and another real number such that the time interval takes place during the time of existence of the process and the other time interval takes place during the time of existence of the process and the object is located at the physical holds during the time interval and the object is located at the other physical holds during the other time interval and the distance between the physical and the other physical is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	If a process is an instance of experiencing discomfort in the stomach and an agent experiences the process, then there exist another process, the other processAIN and an object such that the other process is an instance of perception and the time of existence of the other process takes place during the time of existence of the other processAIN and the other processAIN is an instance of pain and the agent experiences the other processAIN and the other process is a subprocess of the process and the agent is an agent of the other process and the object is a patient of the other process and the object is an instance of stomach 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

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

KB Term:			Term intersection

English Word: