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 3943-3944
(domain dateOfStatement 1 BankStatement) FinancialOntology.kif 3941-3941
(domain dateOfStatement 2 Day) FinancialOntology.kif 3942-3942
(instance dateOfStatement BinaryPredicate) FinancialOntology.kif 3940-3940

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 18621-18621
(termFormat ChineseTraditionalLanguage dateOfStatement "聲明日期") domainEnglishFormat.kif 18620-18620
(termFormat EnglishLanguage dateOfStatement "date of statement") domainEnglishFormat.kif 18619-18619

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


(=>
    (and
        (statementPeriod ?Statement ?Period)
        (dateOfStatement ?Statement ?Date))
    (finishes ?Date ?Period))
FinancialOntology.kif 3985-3989
(=>
    (dateOfStatement ?Statement ?Date)
    (exists (?Copy)
        (and
            (containsInformation ?Copy ?Statement)
            (date ?Copy ?Date))))
FinancialOntology.kif 3946-3951

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


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


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