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 8570-8571
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8568-8569
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8566-8566	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 8563-8563	Future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8565-8565	Future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8564-8564	Future is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8567-8567	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 278-278
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.	portuguese_format.kif 219-219
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 199-199
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-tg.txt 240-240
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 4639-4639	"future" is the printable form of future in english language
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 649-649	"«بَعْدَ»" is the printable form of future in ar
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 241-241	"tungkulin ng pagkatapos" is the printable form of future in tg

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11398-11401	If an agreement has expiration a time point, then the agreement has not an attribute active agreement holds during after the time point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10142-10157	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 object such that the object is a result of the process and the object is an instance of organic object and dead is an attribute of the object holds during after the time of existence of the process and if another object is a part of the object holds during immediately after the time of existence of the process, then the other object 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 12108-12114	If a process is an instance of killing and an object is a patient of the process, then living is an attribute of the object holds during the beginning of the time of existence of the process and dead is an attribute of the object holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13099-13104	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 a cognitive agent is an agent of the process and an agreement is a result of the process and the agreement is an instance of agreement, then the agreement is a party to agreement 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.	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 19481-19489	If a process is an instance of suicide bombing and an agent is an agent of the process, then the agent believes dead is an attribute of the 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 an object and the object is an instance of human, then the entity is not an attribute of the object holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8577-8579	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 8573-8575	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 8592-8594	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 19471-19479	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