TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2724-2725
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8487-8489
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1449-1450
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8484-8484	The number 1 argument of earlier is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8485-8485	The number 2 argument of earlier is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8479-8479	earlier is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8482-8482	earlier is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8480-8480	earlier is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8483-8483	earlier is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8481-8481	earlier 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 437-437
No TPTP formula. May not be expressible in strict first order.	english_format.kif 443-443
No TPTP formula. May not be expressible in strict first order.	french_format.kif 253-253
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 87-87
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2047-2047
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 205-205
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 259-259
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 571-571
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 127-127
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 274-274
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 277-277
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 189-189
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8213-8213	before is internally related to earlier
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20799-20799	before is internally related to earlier
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 438-438	before is internally related to earlier
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20798-20798	before is internally related to earlier
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20797-20797	before is internally related to earlier
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 176-176	before is internally related to earlier
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 190-190	before is internally related to earlier

antecedent

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.	Merge.kif 8394-8401	If a time interval happens earlier than another time interval and a time point is an instance of time point and another time point is an instance of time point and the time point is a part of the time interval and the other time point is a part of the other time interval, then the time point happens before the other time point
No TPTP formula. May not be expressible in strict first order.	Government.kif 223-234	If monarchy is a government type of an agent and an organism is an instance of human and another organism is an instance of human and the agent chief of state an entity for the organism holds during a time interval and the organism and the other organism are related and the time interval happens earlier than another time interval, then the statement the agent chief of state the entity for the other organism holds during the other time interval has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 486-495	If an agent desires dead is an attribute of an entity holds during a time interval and the agentURDER is an instance of murder and the agent is an agent of the agentURDER and the entity is a patient of the agentURDER and the time interval happens earlier than the time of existence of the agentURDER, then premeditated is an attribute of the agentURDER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11384-11407	If an object is an instance of antidiuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and equal the time interval and the other time interval and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(s), then the statement the real number is greater than the other real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11354-11375	If an object is an instance of diuretic and a motion is an instance of ingesting and an agent is an agent of the motion and the object moves during the motion and a time interval is an instance of urination and an entity is a result of the time interval and the agent is an agent of the time interval and another time interval is an instance of urination and another entity is a result of the other time interval and the agent is an agent of the other time interval and the time interval happens earlier than the motion and the motion happens earlier than the other time interval and an unit of measure is an instance of unit of volume and the measure of the time interval is a real number the unit of measure(s) and the measure of the other time interval is another real number the unit of measure(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.	Mid-level-ontology.kif 85-94	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 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.	Weather.kif 1901-1917	If a process is an instance of strong gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than 17 and the third real number is less than or equal to 29
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1924-1938	If a process is an instance of violent gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than 29
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1878-1894	If a process is an instance of weak gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than or equal to 12 and the third real number is less than or equal to 17
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1857-1871	If a process is an instance of wind gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and the time of existence of the process happens earlier than a time interval and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the third real number is greater than or equal to 10
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1839-1855	If a process is an instance of wind gust and the process is located at a geographic area and the geographic area is an instance of geographic area and equal ThreeSecondSpeedGustFn ending at the time of existence of the process in the geographic area and a real number miles per hour(s) and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the geographic area holds during the time interval and equal a third real number and (the real number and the other real number), then the real number is greater than or equal to 18 and the third real number is greater than or equal to 10
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.	Mid-level-ontology.kif 11103-11124	If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of mood stabilizer and a process is an instance of the processC and the agent is an involved in event of the process and the processS is an attribute of the agent holds during the time of existence of the process and the processS is an instance of emotional state and the process2 is an instance of the processC and the agent is an involved in event of the process2 and the time of existence of the process2 happens earlier than the time of existence of the transfer, then the statement the processS is an attribute of the agent doesn't hold during the process2 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1791-1808	If a process is an instance of squall and the process is located at an object and the object is an instance of geographic area and a real number miles per hour(s) is a surface wind speed of the object holds during the time of existence of the process and a time interval happens earlier than the time of existence of the process and another real number miles per hour(s) is a surface wind speed of the object holds during the time interval and equal a third real number and (the real number and the other real number), then the real number is greater than or equal to 25 and the third real number is greater than or equal to 18
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8491-8493	If a time interval happens earlier than another time interval, then the end of the time interval happens before the beginning of the other time interval

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4368-4377	If two_factor authentication is an attribute of an user account and an agent is logged_in to the user account during a time interval, then there exists the time intervalF such that the time intervalF is an instance of two_factor login and the agent is an agent of the time intervalF and the accountUsed in the time intervalF is the user account and the time of existence of the time intervalF happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	Government.kif 576-581	If the day a positive integer of month the month a kind of month is a commemorates date of a kind of holiday and a time interval is an instance of a kind of holiday and another time interval is an instance of the year an integer, then the time interval doesn't happen earlier than the other time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3545-3555	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 doesn't exist 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 happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3593-3603	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 doesn't exist 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 happens earlier than the time interval
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.	MilitaryPersons.kif 26-47	If dislocated civilian is an attribute of an entity and the entity lives in another entity and the other entity is located at a geographic area holds during a time interval and the geographic area is an instance of geographic area and the time interval is an instance of time interval, then there exist another time interval, a third entity_PLACE and the third entity_RES such that the other time interval is an instance of time interval and the other time interval happens earlier than the time interval and the third entity_RES is an instance of object and the third entity_PLACE is an instance of geopolitical area and the third entity_RES is located at the third entity_PLACE and equal the geographic area and the third entity_PLACE and equal the other entity and the third entity_RES and the geographic area is not a geographic subregion of the third entity_PLACE and the third entity_PLACE is not a geographic subregion of the geographic area and the entity lives in the third entity_RES holds during the other time interval
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.	MilitaryPersons.kif 101-111	If internally displaced person is an attribute of an entity holds during a time interval and the time interval is an instance of time interval, then there exist another entity and another time interval such that the other time interval happens earlier than the time interval and internally displaced person is an attribute of the entity holds during the time interval is a causes proposition of the entity fears the other entity holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9139-9149	If an entity is the spouse of another entity holds during a time interval and the time interval is an instance of time interval, then there exists a process such that the process is an instance of wedding and the entity is a patient of the process and the other entity is a patient of 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.	Merge.kif 14490-14497	If the developmental form of an entity is an attribute holds during a time interval and another attribute is a successor attribute of the attribute, then there exists another time interval such that the other time interval happens earlier than the time interval and the developmental form of the entity is the other attribute holds during the other time interval
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.	Mid-level-ontology.kif 25665-25674	If a process is an instance of birth and the process originates at an object, then there exist an entity and a time interval such that the entity is an instance of zygote and the time interval happens earlier than the time of existence of the process and the entity is located at the object holds during the time interval
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.	Sports.kif 790-800	If a process is an instance of bodybuilding and an agent is an agent of the process, then there exists another process such that the other process is an instance of weightlifting and the agent is an agent of the other process and the time of existence of the other process happens earlier than 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.	ComputingBrands.kif 3492-3506	If a computer process is an instance of backup and a digital data is processed by the computer process and the digital data is an instance of digital data and a cognitive agent is an agent of the computer process, then the cognitive agent desires there exists an entity such that the time of existence of the computer process happens earlier than the entity and there exists another entity such that the other entity is an instance of computer process and the digital data is capable of doing the other entity as a data processed holds during the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31558-31572	If a time interval is an instance of confirming and an agreement is an agent of the time interval and the time interval contains information a proposition, then there exist another time interval, a content bearing physical and the agreement2 such that the other time interval is an instance of stating and the other time interval happens earlier than the time interval and the content bearing physical is an instance of reaching agreement and the agreement2 is an agent of the other time interval and the content bearing physical contains information the proposition and the other time interval contains information the proposition and the agreement is a party to agreement of the content bearing physical and the agreement2 is a party to agreement of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11079-11092	If a process is an instance of decreasing and an entity is a patient of the process, then there exist a real number, another real number,, , a time interval,, , another time interval and another entity such that the time interval happens earlier than the other time interval and the measure of the entity is the real number the other entity(s) holds during the time interval and the measure of the entity is the other real number the other entity(s) holds during the other time interval and the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11037-11050	If a process is an instance of increasing and an entity is a patient of the process, then there exist a real number, another real number,, , a time interval,, , another time interval and another entity such that the time interval happens earlier than the other time interval and the measure of the entity is the real number the other entity(s) holds during the time interval and the measure of the entity is the other real number the other entity(s) holds during the other time interval and the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11016-11029	If a process is an instance of quantity change and an entity is a patient of the process, then there exist another entity, a third entity,, , a time interval,, , another time interval and a fourth entity such that the time interval happens earlier than the other time interval and the measure of the entity is the other entity the fourth entity(s) holds during the time interval and the measure of the entity is the third entity the fourth entity(s) holds during the other time interval and equal the other entity and the third entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8844-8849	If a time interval is an instance of the day a positive integer of month the month a kind of month and another time interval is an instance of the day another positive integer of month the month a kind of month and the other positive integer is greater than the positive integer, then the time interval happens earlier than the other time interval
No TPTP formula. May not be expressible in strict first order.	WMD.kif 750-758	If a process is an instance of dismantling weapon of mass destruction and an entity is a patient of the process, then there exists another process such that the other process is an instance of developing weapon of mass destruction and the entity is a result of the other process and the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18077-18089	If a process is an instance of matriculation and an agent is an agent of the process and an entity is a patient of the process and the agent is an instance of college, then there exist another process and another agent such that the other process is an instance of graduation and the other agent is an agent of the other process and the entity is a patient of the other process and the other agent is an instance of secondary school and the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18058-18070	If a process is an instance of matriculation and an agent is an agent of the process and an entity is a patient of the process and the agent is an instance of college, then there exist another process and another agent such that the other process is an instance of graduation and the other agent is an agent of the other process and the entity is a patient of the other process and the other agent is an instance of high school and the time of existence of the other process happens earlier than the time of existence of the process
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

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.

Mid-level-ontology.kif 19773-19790

There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ

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

KB Term:			Term intersection

English Word: