TreeView Knowledge Base Browser - FiscalYearFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FiscalYearFn

FiscalYearFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3710-3712
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3707-3707	The number 1 argument of fiscal year is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3706-3706	Fiscal year is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3708-3708	The values returned by fiscal year are subclasses of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1016-1016
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1015-1015
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1014-1014
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23967-23967
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23966-23966
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23965-23965

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2123-2132	If a geopolitical area is electricity consumption in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity consumption of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2167-2176	If a geopolitical area is electricity export in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity export of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2222	If a geopolitical area is electricity import in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity import of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1991-2000	If a geopolitical area is electricity production in period a physical quantity for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the physical quantity is an annual electricity production of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2288-2297	If a geopolitical area export total in period a currency measure for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the currency measure is an annual export total of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3720-3724	If a kind of time interval is a fiscal year period of an agent and an entity is an instance of the fiscal year of the agent, then the entity is an instance of a kind of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2134-2141	If a physical quantity is an annual electricity consumption of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area is electricity consumption in period the physical quantity for the kind of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2178-2185	If a physical quantity is an annual electricity export of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area is electricity export in period the physical quantity for the kind of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2224-2231	If a physical quantity is an annual electricity import of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area is electricity import in period the physical quantity for the kind of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2002-2009	If a physical quantity is an annual electricity production of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area is electricity production in period the physical quantity for the kind of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2299-2306	If a currency measure is an annual export total of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area export total in period the currency measure for the kind of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2604-2611	If a currency measure is an annual import total of a geopolitical area holds during a time position and the time position is an instance of a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then the geopolitical area import total in period the currency measure for the kind of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2593-2602	If a geopolitical area import total in period a currency measure for a kind of time interval and a kind of time interval is a subclass of year or the kind of time interval is a subclass of the fiscal year of the geopolitical area, then there exists a time position such that the time position is an instance of the kind of time interval and the currency measure is an annual import total of the geopolitical area holds during the time position
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3714-3718	If a kind of time interval is equal to the fiscal year of an agent, then the agent is an instance of geopolitical area or the agent is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3726-3728	If a time interval is an instance of the fiscal year of an agent, then duration of the time interval is 1 year duration(s)

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 3746-3750

If an agent is an instance of agent and a kind of year is an instance of year,
then the fiscal year starting of the agent and a kind of year is an instance of the fiscal year of the agent

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