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 4065-4067
No TPTP formula. May not be expressible in strict first order. Economy.kif 4060-4060 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 4061-4061 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 4058-4058 Fiscal year starting is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Economy.kif 4063-4063 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 23989-23989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23988-23988
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23987-23987

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4091-4101
No TPTP formula. May not be expressible in strict first order. Economy.kif 4085-4089
No TPTP formula. May not be expressible in strict first order. Economy.kif 4081-4083
No TPTP formula. May not be expressible in strict first order. Economy.kif 4069-4073

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4075-4079


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