TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2743-2744
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8627-8628
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1469-1470
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8624-8624	The number 1 argument of future is an instance of time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8621-8621	Future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8623-8623	Future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8622-8622	Future is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8625-8625	The range of future is an instance of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 461-461
No TPTP formula. May not be expressible in strict first order.	english_format.kif 467-467
No TPTP formula. May not be expressible in strict first order.	french_format.kif 267-267
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 115-115
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2057-2057
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 219-219
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 273-273
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 602-602
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 155-155
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 288-288
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 294-294
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 240-240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25315-25315
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 462-462
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25314-25314
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25313-25313
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 186-186
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 241-241

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15426-15429	If an agreement has expiration a time point, then the agreement does not have the attribute active agreement holds during after the time point
No TPTP formula. May not be expressible in strict first order.	Government.kif 510-517	If a kind of time interval is an independence date of a geopolitical area and a time position is an instance of a kind of time interval, then there doesn't exist an entity such that the geopolitical area is a dependent of the entity holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10362-10377	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exist an entity and another entity such that the entity is a result of the process and the entity is an instance of organic object and dead is an attribute of the entity holds during after the time of existence of the process and if the other entity is a part of the entity holds during immediately after the time of existence of the process, then the other entity is a part of the agent holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12196-12212	If a process is an instance of deciding and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of set and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing physical, then the content bearing physical contains the formula there exists another entity such that the other entity is an element of the entity and the other entity is an instance of intentional process and the agent is an agent of the other entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 438-455	If a financial transaction is an instance of deposit and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and equal a third real number and (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3631-3647	If a transfer is an instance of injecting and an object is an instance of adalimumab and the object transferred in the transfer is the object and the transfer is located at another object and the other object is an instance of body part and the transfer ends up at an entity, then the statement there exists another entity such that pain in the the other object is an attribute of the entity holds during the other entity and the other entity takes place during after the time of existence of the transfer has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12455-12461	If a process is an instance of killing and an entity is a patient of the process, then living is an attribute of the entity holds during the beginning of the time of existence of the process and dead is an attribute of the entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9830-9841	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then the statement blindness is an attribute of the agent holds during after the time of existence of the motion has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13411-13416	If a process is an instance of naming and an entity is a patient of the process and the process ends up at another entity, then the entity has &ames$"name" the other entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Media.kif 153-160	If a process is an instance of reaching agreement and an agent is an agent of the process and an entity is a result of the process and the entity is an instance of agreement, then the entity is a party to agreement of the agent holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 468-483	If a financial transaction is an instance of withdrawing from an account and a financial account is an instance of financial account and the financial transaction originates at the financial account and a real number an unit of measure(s) is a transaction amount of the financial transaction and the financial account current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and equal a third real number and (the other real number and the real number), then the financial account current account balance immediately after after the financial transaction for the third real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23754-23762	If a process is an instance of suicide bombing and a cognitive agent is an agent of the process, then the cognitive agent believes dead is an attribute of the cognitive agent holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11026-11038	If a physical is an instance of anti-depressant, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ingesting and the object transferred in the entity is the physical and the other entity is an agent of the physical and depressed is not an attribute of the other entity holds during after the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11046-11058	If a physical is an instance of anti-psychotic, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ingesting and the object transferred in the entity is the physical and the other entity is an agent of the physical and psychosis is not an attribute of the other entity holds during after the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1046-1059	If an entity is an instance of vaccinatable disease, then there exist another entity, a third entity and a process such that the other entity is an instance of vaccine and the process is an instance of putting and the process ends up at the third entity and the third entity is an instance of human and the statement the entity is not an attribute of the third entity holds during after the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8634-8636	If a time interval is an instance of time interval, then equal after the time interval and interval between the end of the time interval and positive infinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8630-8632	If a time interval is an instance of time interval, then the time interval meets after the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8648-8650	If a time position is an instance of time interval, then immediately after the time position starts after the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13752-13772	If a physical is an instance of anti-inflammatory, then the physical has the purpose there exist an entity, another entity and the entityN such that the entity is an instance of inflammation and the entity experiences the other entity and the entityN is an instance of ingesting and the beginning of the time of existence of the entity happens before the beginning of the time of existence of the entityN and there doesn't exist the entity2 such that the entity2 is an instance of inflammation and the other entity experiences the entity2 holds during after the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23744-23752	If a process is an instance of suicide bombing, then there exists an agent such that the agent is an agent of the process and dead is an attribute of the agent holds during after the time of existence of the process

statement

No TPTP formula. May not be expressible in strict first order.	Media.kif 2503-2506	Serbia is an instance of european nation and a time position is an instance of the day 5 of month the month June holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2498-2501	Serbia is an instance of independent state and a time position is an instance of the day 5 of month the month June holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2508-2511	Serbia has &ames$"name" "Republic of Serbia" and a time position is an instance of the day 5 of month the month June holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2530-2533	A time position is an instance of the day 3 of month the month June and Montenegro is an instance of european nation holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2525-2528	A time position is an instance of the day 3 of month the month June and Montenegro is an instance of independent state holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2535-2538	A time position is an instance of the day 3 of month the month June and Montenegro has &ames$"name" "Montenegro" holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2548-2552	A time position is an instance of the day 3 of month the month June and serbia and montenegro is not an instance of independent state holds during after the time position

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

KB Term:			Term intersection

English Word: