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.	Merge.kif 12034-12035
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12031-12032
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12037-12038
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12028-12028	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 12025-12025	Future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12027-12027	Future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12026-12026	Future is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12029-12029	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 652-652
No TPTP formula. May not be expressible in strict first order.	english_format.kif 653-653
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25237-25237	"未来" is the printable form of future in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 462-462	"未来函数" is the printable form of future in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25236-25236	"未來" is the printable form of future in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25235-25235	"future" is the printable form of future in english language

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11659-11662	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 14122-14137	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-437	If a financial transaction is an instance of deposit and the financial transaction exists during a time position 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 currency measure 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 currency measure and a third currency measure is equal to (the other currency measure and the currency measure), then the financial account current account balance immediately after after the financial transaction for the third currency measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16609-16615	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 17607-17612	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 450-459	If a financial transaction is an instance of withdrawal and the financial transaction exists during a time position and a financial account is an instance of financial account and the financial transaction originates at the financial account and a currency measure 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 currency measure and a third currency measure is equal to (the other currency measure and the currency measure), then the financial account current account balance immediately after after the financial transaction for the third currency measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19901-19909	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.	WMD.kif 989-999	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 12044-12046	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 12040-12042	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 12064-12066	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 19891-19899	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners