statementPeriod - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - statementPeriod

statementPeriod

appearance as argument number 1

(documentation statementPeriod EnglishLanguage "(statementPeriod ?Statement ?Period) means that ?Period is the time period of the BankStatement ?Statement.")	FinancialOntology.kif 4061-4062
(domain statementPeriod 1 BankStatement)	FinancialOntology.kif 4059-4059	The number 1 argument of statement period is an instance of bank statement
(domain statementPeriod 2 TimeInterval)	FinancialOntology.kif 4060-4060	The number 2 argument of statement period is an instance of time interval
(instance statementPeriod BinaryPredicate)	FinancialOntology.kif 4058-4058	statement period is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage statementPeriod "%2 %n 是 %1 的 statement 周期")	domainEnglishFormat.kif 2359-2359
(format ChineseTraditionalLanguage statementPeriod "%2 %n 是 %1 的 statement 週期")	domainEnglishFormat.kif 2358-2358
(format EnglishLanguage statementPeriod "%2 is %n a statement period of %1")	domainEnglishFormat.kif 2357-2357
(termFormat ChineseLanguage statementPeriod "声明期")	domainEnglishFormat.kif 55175-55175
(termFormat ChineseTraditionalLanguage statementPeriod "聲明期")	domainEnglishFormat.kif 55174-55174
(termFormat EnglishLanguage statementPeriod "statement period")	domainEnglishFormat.kif 55173-55173

antecedent

(=> (and (statementInterest ?Statement ?Interest) (statementPeriod ?Statement ?Period) (statementAccount ?Statement ?Account)) (interestEarned ?Account ?Interest ?Period))	FinancialOntology.kif 4082-4087	If an interest is a statement interest of a bank statement and a time interval is a statement period of the bank statement and a financial account is a statement account of the bank statement, then the financial account is interest earned the interest for the time interval
(=> (and (statementPeriod ?Statement ?Period) (dateOfStatement ?Statement ?Date)) (finishes ?Date ?Period))	FinancialOntology.kif 4070-4074	If a time interval is a statement period of a bank statement and a day is a date of statement of the bank statement, then the day finishes the time interval
(=> (and (statementPeriod ?Statement ?Period) (duration ?Period ?Duration)) (equal ?Duration MonthDuration))	FinancialOntology.kif 4064-4068	If a time interval is a statement period of a bank statement and duration of the time interval is a time duration, then the time duration is equal to month duration

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 3.0 is open source software produced by Articulate Software and its partners