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 4079-4080
(domain statementPeriod 1 BankStatement)	FinancialOntology.kif 4077-4077	The number 1 argument of statement period is an instance of bank statement
(domain statementPeriod 2 TimeInterval)	FinancialOntology.kif 4078-4078	The number 2 argument of statement period is an instance of time interval
(instance statementPeriod BinaryPredicate)	FinancialOntology.kif 4076-4076	statement period is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage statementPeriod "%2 %n 是 %1 的 statement 周期")	domainEnglishFormat.kif 2363-2363
(format ChineseTraditionalLanguage statementPeriod "%2 %n 是 %1 的 statement 週期")	domainEnglishFormat.kif 2362-2362
(format EnglishLanguage statementPeriod "%2 is %n a statement period of %1")	domainEnglishFormat.kif 2361-2361
(termFormat ChineseLanguage statementPeriod "声明期")	domainEnglishFormat.kif 55173-55173
(termFormat ChineseTraditionalLanguage statementPeriod "聲明期")	domainEnglishFormat.kif 55172-55172
(termFormat EnglishLanguage statementPeriod "statement period")	domainEnglishFormat.kif 55171-55171

antecedent

(=> (and (statementInterest ?Statement ?Interest) (statementPeriod ?Statement ?Period) (statementAccount ?Statement ?Account)) (interestEarned ?Account ?Interest ?Period))	FinancialOntology.kif 4100-4105	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 4088-4092	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 4082-4086	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