TreeView Knowledge Base Browser - FiscalYearFn

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 3700-3702
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3697-3697	Le nombre 1 argument de FiscalYearFn est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3696-3696	FiscalYearFn est une instance de function unaire
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3698-3698	Les valeurs retourn�es par FiscalYearFn sont des sous-classes de interval temporel

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	electricityConsumptionInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityConsumption secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2156-2165	electricityExportInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityExport secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2202-2211	electricityImportInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityImport secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1980-1989	electricityProductionInPeriod secteur g�opolitique, quantit� physique and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualElectricityProduction secteur g�opolitique and quantit� physique pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2277-2286	exportTotalInPeriod secteur g�opolitique, mesure de devise and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualExportTotal secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3710-3714	fiscalYearPeriod AutonomousAgent and interval temporel entit� est une instance de FiscalYearFn AutonomousAgent entit� est une instance de interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2123-2130	annualElectricityConsumption secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityConsumptionInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2167-2174	annualElectricityExport secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityExportInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2213-2220	annualElectricityImport secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityImportInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1991-1998	annualElectricityProduction secteur g�opolitique and quantit� physique pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique electricityProductionInPeriod secteur g�opolitique, quantit� physique and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2288-2295	annualExportTotal secteur g�opolitique and mesure de devise pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique exportTotalInPeriod secteur g�opolitique, mesure de devise and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2594-2601	annualImportTotal secteur g�opolitique and mesure de devise pendant position temporel position temporel est une instance de interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique importTotalInPeriod secteur g�opolitique, mesure de devise and interval temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2583-2592	importTotalInPeriod secteur g�opolitique, mesure de devise and interval temporel interval temporel est une sous-classe de ann�e interval temporel est une sous-classe de FiscalYearFn secteur g�opolitique position temporel position temporel est une instance de interval temporel annualImportTotal secteur g�opolitique and mesure de devise pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3704-3708	Interval temporel est FiscalYearFn AutonomousAgent AutonomousAgent est une instance de secteur g�opolitique AutonomousAgent est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3716-3718	Interval temporel est une instance de FiscalYearFn AutonomousAgent la dur�� de interval temporel est 1 YearDuration(s)

consequent

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

Economy.kif 3738-3742

AutonomousAgent est une instance de AutonomousAgent ann�e est une sous-classe de ann�e
FiscalYearStartingFn AutonomousAgent and ann�e est une instance de FiscalYearFn AutonomousAgent

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