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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dateOfStatement
dateOfStatement

appearance as argument number 1
-------------------------


(documentation dateOfStatement EnglishLanguage "(dateOfStatement ?Statement ?Date) holds if ?Date is the date when BankStatement was issued.") FinancialOntology.kif 3870-3871
(domain dateOfStatement 1 BankStatement) FinancialOntology.kif 3868-3868
(domain dateOfStatement 2 Day) FinancialOntology.kif 3869-3869
(instance dateOfStatement BinaryPredicate) FinancialOntology.kif 3867-3867

appearance as argument number 2
-------------------------


(format ChineseLanguage dateOfStatement "%2 %n 是 %3 的声明 date ") domainEnglishFormat.kif 656-656
(format ChineseTraditionalLanguage dateOfStatement "%2 %n 是 %3 的聲明 date ") domainEnglishFormat.kif 655-655
(format EnglishLanguage dateOfStatement "%2 is %n a date of statement of %1") domainEnglishFormat.kif 654-654
(termFormat ChineseLanguage dateOfStatement "声明日期") domainEnglishFormat.kif 18559-18559
(termFormat ChineseTraditionalLanguage dateOfStatement "聲明日期") domainEnglishFormat.kif 18558-18558
(termFormat EnglishLanguage dateOfStatement "date of statement") domainEnglishFormat.kif 18557-18557

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


(=>
    (and
        (statementPeriod ?Statement ?Period)
        (dateOfStatement ?Statement ?Date))
    (finishes ?Date ?Period))
FinancialOntology.kif 3912-3916
(=>
    (dateOfStatement ?Statement ?Date)
    (exists (?Copy)
        (and
            (containsInformation ?Copy ?Statement)
            (date ?Copy ?Date))))
FinancialOntology.kif 3873-3878

consequent
-------------------------


(=>
    (lastStatementBalance ?Account ?Balance)
    (exists (?Statement)
        (and
            (lastStatement ?Account ?Statement)
            (dateOfStatement ?Statement ?Date)
            (currentAccountBalance ?Account ?Date ?Balance))))
FinancialOntology.kif 3886-3892


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners