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 4074-4075
(domain statementPeriod 1 BankStatement) FinancialOntology.kif 4072-4072 The number 1 argument of statement period is an instance of bank statement
(domain statementPeriod 2 TimeInterval) FinancialOntology.kif 4073-4073 The number 2 argument of statement period is an instance of time interval
(instance statementPeriod BinaryPredicate) FinancialOntology.kif 4071-4071 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 55161-55161
(termFormat ChineseTraditionalLanguage statementPeriod "聲明期") domainEnglishFormat.kif 55160-55160
(termFormat EnglishLanguage statementPeriod "statement period") domainEnglishFormat.kif 55159-55159

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


(=>
    (and
        (statementInterest ?Statement ?Interest)
        (statementPeriod ?Statement ?Period)
        (statementAccount ?Statement ?Account))
    (interestEarned ?Account ?Interest ?Period))
FinancialOntology.kif 4095-4100
(=>
    (and
        (statementPeriod ?Statement ?Period)
        (dateOfStatement ?Statement ?Date))
    (finishes ?Date ?Period))
FinancialOntology.kif 4083-4087
(=>
    (and
        (statementPeriod ?Statement ?Period)
        (duration ?Period ?Duration))
    (equal ?Duration MonthDuration))
FinancialOntology.kif 4077-4081


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