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 3980-3981
(domain dateOfStatement 1 BankStatement) FinancialOntology.kif 3978-3978
(domain dateOfStatement 2 Day) FinancialOntology.kif 3979-3979
(instance dateOfStatement BinaryPredicate) FinancialOntology.kif 3977-3977

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 4022-4026
(=>
    (dateOfStatement ?Statement ?Date)
    (exists (?Copy)
        (and
            (containsInformation ?Copy ?Statement)
            (date ?Copy ?Date))))
FinancialOntology.kif 3983-3988

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


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


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