FutureFn - Sigma Knowledge base Browser

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 8002-8003
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7999-7999	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 7996-7996	Future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7998-7998	Future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7997-7997	Future is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8000-8000	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 470-470
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 10836-10839	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 9670-9685	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 428-436	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 number 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 number and a third number is equal to (the other number and the number), then the financial account current account balance immediately after after the financial transaction for the third number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11473-11479	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.	Merge.kif 12342-12347	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 449-457	If a financial transaction is an instance of withdrawal and a financial account is an instance of financial account and the financial transaction originates at the financial account and a number 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 number and a third number is equal to (the other number and the number), then the financial account current account balance immediately after after the financial transaction for the third number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18582-18590	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 535-540	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.	WMD.kif 1031-1041	If an entity is an instance of vaccinatable disease, then there exists another entity such that the other entity is an instance of biologically active substance 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 entity is not an attribute of the third entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8009-8011	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 8005-8007	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 8023-8025	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 18572-18580	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 2507-2508	Montenegro is an instance of european nation holds during after the day 3
No TPTP formula. May not be expressible in strict first order.	Media.kif 2505-2506	Montenegro is an instance of independent state holds during after the day 3
No TPTP formula. May not be expressible in strict first order.	Media.kif 2509-2510	Montenegro has name "Montenegro" holds during after the day 3
No TPTP formula. May not be expressible in strict first order.	Media.kif 2519-2520	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-2493	Serbia is an instance of european nation holds during after the day 5
No TPTP formula. May not be expressible in strict first order.	Media.kif 2490-2491	Serbia is an instance of independent state holds during after the day 5
No TPTP formula. May not be expressible in strict first order.	Media.kif 2494-2495	Serbia has name "Republic of Serbia" holds during after the day 5

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

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