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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 23917-23917 "财政年度开始" is the printable form of fiscal year starting in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23916-23916 "財政年度開始" is the printable form of fiscal year starting in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 23915-23915 "fiscal year starting" is the printable form of fiscal year starting in english language

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3755-3764
No TPTP formula. May not be expressible in strict first order. Economy.kif 3749-3753
No TPTP formula. May not be expressible in strict first order. Economy.kif 3745-3747
No TPTP formula. May not be expressible in strict first order. Economy.kif 3733-3737

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