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 3703-3705
No TPTP formula. May not be expressible in strict first order. Economy.kif 3700-3700 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 3699-3699 Fiscal year is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Economy.kif 3701-3701 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 262-262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4417-4417 "fiscal year" is the printable form of fiscal year in english language

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2116-2125
No TPTP formula. May not be expressible in strict first order. Economy.kif 2160-2169
No TPTP formula. May not be expressible in strict first order. Economy.kif 2206-2215
No TPTP formula. May not be expressible in strict first order. Economy.kif 1984-1993
No TPTP formula. May not be expressible in strict first order. Economy.kif 2281-2290
No TPTP formula. May not be expressible in strict first order. Economy.kif 3713-3717
No TPTP formula. May not be expressible in strict first order. Economy.kif 2127-2134
No TPTP formula. May not be expressible in strict first order. Economy.kif 2171-2178
No TPTP formula. May not be expressible in strict first order. Economy.kif 2217-2224
No TPTP formula. May not be expressible in strict first order. Economy.kif 1995-2002
No TPTP formula. May not be expressible in strict first order. Economy.kif 2292-2299
No TPTP formula. May not be expressible in strict first order. Economy.kif 2597-2604
No TPTP formula. May not be expressible in strict first order. Economy.kif 2586-2595
No TPTP formula. May not be expressible in strict first order. Economy.kif 3707-3711
No TPTP formula. May not be expressible in strict first order. Economy.kif 3719-3721

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 3739-3743


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