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 4028-4029
(domain dateOfStatement 1 BankStatement) FinancialOntology.kif 4026-4026 The number 1 argument of date of statement is an instance of bank statement
(domain dateOfStatement 2 Day) FinancialOntology.kif 4027-4027 The number 2 argument of date of statement is an instance of day
(instance dateOfStatement BinaryPredicate) FinancialOntology.kif 4025-4025 date of statement is an instance of binary predicate

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 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