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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dateOfStatement

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 4028-4029
(domain dateOfStatement 1 BankStatement) FinancialOntology.kif 4026-4026
(domain dateOfStatement 2 Day) FinancialOntology.kif 4027-4027
(instance dateOfStatement BinaryPredicate) FinancialOntology.kif 4025-4025

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

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


(=>
    (and
        (statementPeriod ?Statement ?Period)
        (dateOfStatement ?Statement ?Date))
    (finishes ?Date ?Period))
FinancialOntology.kif 4070-4074
(=>
    (dateOfStatement ?Statement ?Date)
    (exists (?Copy)
        (and
            (containsInformation ?Copy ?Statement)
            (date ?Copy ?Date))))
FinancialOntology.kif 4031-4036

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


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


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