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

Formal Language: 



KB Term:  Term intersection
English Word: 

  statementPeriod

 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 statementPeriod の数値 1 引数は BankStatement の instance では %n
(domain statementPeriod 2 TimeInterval) FinancialOntology.kif 4060-4060 statementPeriod の数値 2 引数は 時間間隔 の instance では %n
(instance statementPeriod BinaryPredicate) FinancialOntology.kif 4058-4058 statementPeriod は 2進述語 の instance では %n

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 55140-55140
(termFormat ChineseTraditionalLanguage statementPeriod "聲明期") domainEnglishFormat.kif 55139-55139
(termFormat EnglishLanguage statementPeriod "statement period") domainEnglishFormat.kif 55138-55138

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


(=>
    (and
        (statementInterest ?Statement ?Interest)
        (statementPeriod ?Statement ?Period)
        (statementAccount ?Statement ?Account))
    (interestEarned ?Account ?Interest ?Period))		 FinancialOntology.kif 4082-4087
(=>
    (and
        (statementPeriod ?Statement ?Period)
        (dateOfStatement ?Statement ?Date))
    (finishes ?Date ?Period))		 FinancialOntology.kif 4070-4074
(=>
    (and
        (statementPeriod ?Statement ?Period)
        (duration ?Period ?Duration))
    (equal ?Duration MonthDuration))		 FinancialOntology.kif 4064-4068


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