TreeView Knowledge Base Browser - FutureFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FutureFn

FutureFn

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 8416-8417
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8413-8413	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 8410-8410	Future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8412-8412	Future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8411-8411	Future is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8414-8414	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.	domainEnglishFormat.kif 25299-25299
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 25298-25298
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25297-25297

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13521-13524	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.	Merge.kif 10130-10145	If a process is an instance of death and an agent is an instance of organism and the agent experiences the process, then there exists an 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 another 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.	FinancialOntology.kif 436-453	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 a third real number is equal to (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.	Merge.kif 12075-12081	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 8227-8238	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 blind 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 13011-13016	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 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 ReachingAgreement 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 466-481	If a financial transaction is an instance of withdrawal and an object is an instance of financial account and the financial transaction originates at the object and a real number an unit of measure(s) is a transaction amount of the financial transaction and the object current account balance immediately before the time of existence of the financial transaction for another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the object 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 21568-21576	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.	Government.kif 534-539	If a kind of time interval is an independence date of a geopolitical area, then there doesn't exist an entity such that the geopolitical area is a dependent of the entity holds during after a kind of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9265-9277	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 9285-9297	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 1037-1053	If an entity is an instance of vaccinatable disease, then there exists another entity such that the other entity is an instance of vaccine and if a process is an instance of putting and the process ends up at a third entity and the third entity is an instance of human, then 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 8423-8425	If a time interval is an instance of time interval, then after the time interval is equal to interval between the end of the time interval and positive infinity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8419-8421	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 8437-8439	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 11898-11918	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 21558-21566	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 2537-2538	Serbia and montenegro is not an instance of independent state holds during after the day 3
No TPTP formula. May not be expressible in strict first order.	Media.kif 2492-2495	Serbia is an instance of european nation and a time position is an instance of the day 5 holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2487-2490	Serbia is an instance of independent state and a time position is an instance of the day 5 holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2497-2500	Serbia has name "Republic of Serbia" and a time position is an instance of the day 5 holds during after the time position
No TPTP formula. May not be expressible in strict first order.	Media.kif 2519-2522	A time position is an instance of the day 3 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 2514-2517	A time position is an instance of the day 3 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 2524-2527	A time position is an instance of the day 3 and Montenegro has name "Montenegro" holds during after the time position

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners