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

Formal Language: 



KB Term:  Term intersection
English Word: 

  date

 Sigma KEE - date
date

appearance as argument number 1
-------------------------


(documentation date ChineseLanguage "这是一个 BinaryPredicate， 它以绝对日历时间，以一天为限， 为特定的 Object 或 Process 指定一个 TimePosition。") chinese_format.kif 2747-2748
(documentation date EnglishLanguage "A BinaryPredicate that specifies a TimePosition in absolute calendar time, at the resolution of one day, for a particular Object or Process.") Merge.kif 8456-8458
(domain date 1 Physical) Merge.kif 8452-8452
(domain date 2 Day) Merge.kif 8453-8453
(instance date BinaryPredicate) Merge.kif 8450-8450
(instance date SingleValuedRelation) Merge.kif 8451-8451
(subrelation date time) Merge.kif 8454-8454

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


(format ChineseLanguage date "%1 的 date %n 是 %2") chinese_format.kif 441-441
(format EnglishLanguage date "date of %1 is %n %2") english_format.kif 447-447
(termFormat ChineseLanguage date "日期") chinese_format.kif 442-442
(termFormat ChineseTraditionalLanguage date "日期") domainEnglishFormat.kif 18596-18596
(termFormat EnglishLanguage date "date") domainEnglishFormat.kif 18595-18595

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


(=>
    (and
        (equal
            (EditionFn ?TEXT ?INT1) ?EDITION1)
        (equal
            (EditionFn ?TEXT ?INT2) ?EDITION2)
        (greaterThan ?INT2 ?INT1)
        (instance ?PUB1 Publication)
        (instance ?PUB2 Publication)
        (instance ?CBO1 ?EDITION1)
        (instance ?CBO2 ?EDITION2)
        (patient ?PUB1 ?CBO1)
        (patient ?PUB2 ?CBO2)
        (date ?PUB1 ?DATE1)
        (date ?PUB2 ?DATE2))
    (before
        (EndFn ?DATE1)
        (EndFn ?DATE2)))		 Merge.kif 15246-15263
(=>
    (and
        (instance ?CD CertificateOfDeposit)
        (maturityDate ?CD ?MaturityDate)
        (instance ?Withdrawal Withdrawal)
        (origin ?Withdrawal
            (CurrencyFn ?CD))
        (date ?Withdrawal ?DateOfWithdrawal)
        (before
            (EndFn ?DateOfWithdrawal)
            (BeginFn ?MaturityDate)))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (destination ?Penalty
                (CurrencyFn ?CD))
            (causes ?Withdrawal ?Penalty))))		 FinancialOntology.kif 1086-1098
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3790-3804
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction ?Account)
        (transactionAmount ?Transaction
            (MeasureFn ?Amount1 ?U))
        (instance ?U UnitOfCurrency)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableBalance ?Account ?Day
                (MeasureFn ?Amount2 ?U))
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))		 FinancialOntology.kif 3767-3779
(=>
    (and
        (subclass ?TEXT Periodical)
        (equal
            (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1)
        (equal
            (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2)
        (greaterThan ?INT2 ?INT1)
        (instance ?PUB1 Publication)
        (instance ?PUB2 Publication)
        (instance ?CBO1 ?VOLUME1)
        (instance ?CBO2 ?VOLUME2)
        (patient ?PUB1 ?CBO1)
        (patient ?PUB2 ?CBO2)
        (date ?PUB1 ?DATE1)
        (date ?PUB2 ?DATE2))
    (before
        (EndFn ?DATE1)
        (EndFn ?DATE2)))		 Mid-level-ontology.kif 14092-14106
(=>
    (and
        (transactionAmount ?Payment ?Amount)
        (date ?Payment ?Date)
        (instance ?Account FinancialAccount)
        (destination ?Payment
            (CurrencyFn ?Account))
        (amountDue ?Account ?Amount ?DueDate)
        (before
            (EndFn ?Date)
            (BeginFn ?DueDate)))
    (instance ?Payment Prepayment))		 FinancialOntology.kif 833-841

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


(=>
    (and
        (amountDue ?Account ?Amount ?DueDate)
        (accountHolder ?Account ?Agent))
    (holdsObligation
        (KappaFn ?Payment
            (and
                (instance ?Payment Payment)
                (transactionAmount ?Payment ?Amount)
                (or
                    (destination ?Payment
                        (CurrencyFn ?Account))
                    (origin ?Payment
                        (CurrencyFn ?Account)))
                (date ?Payment ?Date)
                (beforeOrEqual
                    (EndFn ?Date)
                    (BeginFn ?DueDate)))) ?Agent))		 FinancialOntology.kif 655-667
(=>
    (and
        (downPayment ?Loan ?Amount)
        (agreementEffectiveDate ?Loan ?Date))
    (exists (?Payment)
        (and
            (transactionAmount ?Payment ?Amount)
            (date ?Payment ?Date)
            (destination ?Payment
                (CurrencyFn ?Loan)))))		 FinancialOntology.kif 806-815
(=>
    (and
        (instance ?Account FinancialAccount)
        (minimumBalance ?Account OpeningAnAccount
            (MeasureFn ?Balance ?U))
        (instance ?U UnitOfCurrency))
    (exists (?Payment)
        (and
            (destination ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment
                (MeasureFn ?Amount ?U))
            (greaterThanOrEqualTo ?Amount ?Balance)
            (agreementEffectiveDate ?Account ?Date)
            (date ?Payment ?Date))))		 FinancialOntology.kif 686-699
(=>
    (and
        (instance ?Account FinancialAccount)
        (minimumBalance ?Account UsingAnAccount
            (MeasureFn ?Balance ?U))
        (instance ?U UnitOfCurrency)
        (currentAccountBalance ?Account ?Date
            (MeasureFn ?Amount ?U))
        (lessThan ?Amount ?Balance))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (date ?Penalty ?Date)
            (destination ?Penalty
                (CurrencyFn ?Account)))))		 FinancialOntology.kif 701-714
(=>
    (and
        (instance ?Loan BalloonLoan)
        (maturityDate ?Loan ?Date)
        (totalBalance ?Loan ?Amount)
        (borrower ?Loan ?Agent))
    (holdsObligation
        (KappaFn ?Payment
            (and
                (date ?Payment ?Date)
                (transactionAmount ?Payment ?Amount)
                (destination ?Payment
                    (CurrencyFn ?Loan)))) ?Agent))		 FinancialOntology.kif 1410-1420
(=>
    (birthdate ?P ?D)
    (exists (?B)
        (and
            (instance ?B Birth)
            (experiencer ?B ?P)
            (date ?B ?D))))		 Mid-level-ontology.kif 23651-23657
(=>
    (dateOfStatement ?Statement ?Date)
    (exists (?Copy)
        (and
            (containsInformation ?Copy ?Statement)
            (date ?Copy ?Date))))		 FinancialOntology.kif 3983-3988
(=>
    (deathdate ?P ?T)
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (date ?D ?T))))		 Mid-level-ontology.kif 23665-23671


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