Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FiscalYearFn

Sigma KEE - FiscalYearFn
FiscalYearFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 3700-3702
No TPTP formula. May not be expressible in strict first order. Economy.kif 3697-3697 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 3696-3696 Fiscal year is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Economy.kif 3698-3698 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 23972-23972
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23971-23971
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23970-23970

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2112-2121
No TPTP formula. May not be expressible in strict first order. Economy.kif 2156-2165
No TPTP formula. May not be expressible in strict first order. Economy.kif 2202-2211
No TPTP formula. May not be expressible in strict first order. Economy.kif 1980-1989
No TPTP formula. May not be expressible in strict first order. Economy.kif 2277-2286
No TPTP formula. May not be expressible in strict first order. Economy.kif 3710-3714
No TPTP formula. May not be expressible in strict first order. Economy.kif 2123-2130
No TPTP formula. May not be expressible in strict first order. Economy.kif 2167-2174
No TPTP formula. May not be expressible in strict first order. Economy.kif 2213-2220
No TPTP formula. May not be expressible in strict first order. Economy.kif 1991-1998
No TPTP formula. May not be expressible in strict first order. Economy.kif 2288-2295
No TPTP formula. May not be expressible in strict first order. Economy.kif 2594-2601
No TPTP formula. May not be expressible in strict first order. Economy.kif 2583-2592
No TPTP formula. May not be expressible in strict first order. Economy.kif 3704-3708
No TPTP formula. May not be expressible in strict first order. Economy.kif 3716-3718

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3738-3742


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