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 3864-3865
(domain dateOfStatement 1 BankStatement) FinancialOntology.kif 3862-3862
(domain dateOfStatement 2 Day) FinancialOntology.kif 3863-3863
(instance dateOfStatement BinaryPredicate) FinancialOntology.kif 3861-3861

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


(format EnglishLanguage dateOfStatement "%2 is %n a date of statement of %1") domainEnglishFormat.kif 173-173
(termFormat EnglishLanguage dateOfStatement "date of statement") domainEnglishFormat.kif 3526-3526

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


(=>
    (and
        (statementPeriod ?Statement ?Period)
        (dateOfStatement ?Statement ?Date))
    (finishes ?Date ?Period))
FinancialOntology.kif 3906-3910
(=>
    (dateOfStatement ?Statement ?Date)
    (exists (?Copy)
        (and
            (containsInformation ?Copy ?Statement)
            (date ?Copy ?Date))))
FinancialOntology.kif 3867-3872

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


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


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