TreeView Knowledge Base Browser - FiscalYearStartingFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

FiscalYearStartingFn

Sigma KEE - FiscalYearStartingFn

FiscalYearStartingFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3729-3731
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3725-3725	The number 1 argument of fiscal year starting is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3726-3726	The number 2 argument of fiscal year starting is a subclass of year
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3724-3724	Fiscal year starting is an instance of binary function
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3727-3727	The range of fiscal year starting is an instance of time interval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1025-1025
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1024-1024
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1023-1023
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23911-23911
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23910-23910
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23909-23909

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3755-3764	If a time interval is equal to the fiscal year starting of an agent and a kind of year and another kind of time interval is a fiscal year period of the agent and the time interval is an instance of another kind of time interval, then there exists a third time interval such that the third time interval is an instance of day and the third time interval starts the time interval and the third time interval is a part of a kind of year
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3749-3753	If a time interval is equal to the fiscal year starting of an agent and a kind of year and another kind of time interval is a fiscal year period of the agent, then the time interval is an instance of another kind of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3745-3747	If a time interval is equal to the fiscal year starting of an agent and a kind of year, then duration of the time interval is 1 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3733-3737	If a time interval is equal to the fiscal year starting of an agent and a kind of year, then the agent is an instance of geopolitical area or the agent is an instance of organization

consequent

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

Economy.kif 3739-3743

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