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 7950-7951
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7947-7947	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 7944-7944	Future is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7946-7946	Future is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7945-7945	Future is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7948-7948	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 25231-25231
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 25230-25230
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25229-25229

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11716-11719	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 9612-9627	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 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 11418-11424	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 12290-12295	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 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 19965-19973	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 998-1008	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 7957-7959	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 7953-7955	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 7971-7973	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 19955-19963	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