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

KB Term:  Term intersection
English Word: 

Sigma KEE - date
date

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


(instance date BinaryPredicate) Merge.kif 8744-8744 date is an instance of binary predicate
(instance date SingleValuedRelation) Merge.kif 8745-8745 date is an instance of single valued relation
(domain date 1 Physical) Merge.kif 8746-8746 The number 1 argument of date is an instance of physical
(domain date 2 Day) Merge.kif 8747-8747 The number 2 argument of date is an instance of day
(subrelation date time) Merge.kif 8748-8748 date is a subrelation of time
(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 8750-8752 date is a subrelation of time

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


(termFormat EnglishLanguage date "date") domainEnglishFormat.kif 18606-18606
(termFormat ChineseTraditionalLanguage date "日期") domainEnglishFormat.kif 18607-18607
(termFormat ChineseLanguage date "日期") domainEnglishFormat.kif 18608-18608
(format EnglishLanguage date "date of %1 is %n %2") english_format.kif 447-447

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 15799-15816 If All of the following hold: (1) equal edition X of Y and Z (2) equal edition W of Y and V (3) W is greater than X (4) U is an instance of publication (5) T is an instance of publication (6) S is an instance of Z (7) R is an instance of V (8) S is a patient of U (9) R is a patient of T (10) date of U is Q (11) date of T is P, then the end of Q happens before the end of P
(=>
    (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 16229-16243 If All of the following hold: (1) X is a subclass of periodical (2) equal volume Y in the series X and Z (3) equal volume W in the series X and V (4) W is greater than Y (5) U is an instance of publication (6) T is an instance of publication (7) S is an instance of Z (8) R is an instance of V (9) S is a patient of U (10) R is a patient of T (11) date of U is Q (12) date of T is P, then the end of Q happens before the end of P
(=>
    (and
        (instance ?WED Wedding)
        (date ?WED ?DAY)
        (instance ?DAY
            (DayFn ?D
                (MonthFn ?M
                    (YearFn ?Y)))))
    (exists (?CLASS ?FUTURE)
        (and
            (weddingAnniversary ?WED ?CLASS)
            (subclass ?CLASS Day)
            (instance ?FUTURE Integer)
            (equal ?CLASS
                (DayFn ?D
                    (MonthFn ?M
                        (YearFn ?FUTURE))))
            (greaterThan ?FUTURE ?Y))))		 Mid-level-ontology.kif 26479-26490 If X is an instance of wedding, date of X is Y, and Y is an instance of the day Z of month the month W, then All of the following hold: (1) there exist V (2) U such that wedding anniversary X (3) V (4) V is a subclass of day (5) U is an instance of integer (6) equal V (7) the day Z of month the month W (8) U is greater than T
(=>
    (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 856-864 If All of the following hold: (1) X is a transaction amount of Y (2) date of Y is Z (3) W is an instance of financial account (4) Y ends up at the currency of W (5) W amount due X for V (6) the end of Z happens before the beginning of V, then Y is an instance of prepayment
(=>
    (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 1112-1124 If All of the following hold: (1) X is an instance of certificate of deposit (2) Y is a maturity date of X (3) Z is an instance of withdrawing from an account (4) Z originates at the currency of X (5) date of Z is W (6) the end of W happens before the beginning of Y, then there exists V such that V is an instance of penalizing, V ends up at the currency of X, and Z causes V
(=>
    (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 3873-3885 If X is an instance of financial transaction, X originates at Y, Z W(s) is a transaction amount of X, W is an instance of unit of currency, and date of X is V, then there exists U such that the available balance of Y on V is U W(s) and Z is greater than or equal to U
(=>
    (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 3896-3910 If All of the following hold: (1) X is an instance of financial transaction (2) X originates at the currency of Y (3) Z W(s) is a transaction amount of X (4) W is an instance of unit of currency (5) V is an instance of currency (6) V is a patient of X (7) date of X is U, then there exists T such that the available cash of Y on U is T W(s) and Z is greater than or equal to T

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


(=>
    (weddingdate ?PERSON1 ?PERSON2 ?DAY)
    (exists (?WEDDING)
        (and
            (instance ?WEDDING Wedding)
            (patient ?WEDDING ?PERSON1)
            (patient ?WEDDING ?PERSON2)
            (not
                (equal ?PERSON1 ?PERSON2))
            (date ?WEDDING ?DAY))))		 Mid-level-ontology.kif 26500-26509 If X and Y were married on Z, then there exists W such that W is an instance of wedding, X is a patient of W, Y is a patient of W, equal X, Y, and date of W is Z
(=>
    (birthdate ?P ?D)
    (exists (?B)
        (and
            (instance ?B Birth)
            (experiencer ?B ?P)
            (date ?B ?D))))		 Mid-level-ontology.kif 26554-26560 If X is a birthdate of Y, then there exists Z such that Z is an instance of birth, Y experiences Z, and date of Z is X
(=>
    (deathdate ?P ?T)
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (date ?D ?T))))		 Mid-level-ontology.kif 26583-26589 If X is a deathdate of Y, then there exists Z such that Z is an instance of death, Y experiences Z, and date of Z is X
(=>
    (baptizeddate ?PERSON ?DAY)
    (exists (?BAPTISM)
        (and
            (instance ?BAPTISM Baptizing)
            (experiencer ?BAPTISM ?PERSON)
            (date ?BAPTISM ?DAY))))		 Biography.kif 183-189 If X was baptizing on Y, then there exists Z such that Z is an instance of baptizing, X experiences Z, and date of Z is Y
(=>
    (and
        (amountDue ?Account ?Amount ?DueDate)
        (accountHolder ?Account ?Agent))
    (holdsObligation ?Agent
        (exists (?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))))))		 FinancialOntology.kif 676-689 If X amount due Y for Z and W holds account X, then W is obliged to perform tasks of type there exists V such that V is an instance of payment, Y is a transaction amount of V, V ends up at the currency of X, V originates at the currency of X, date of V is U, and the end of U happens before, or at the beginning of Z
(=>
    (and
        (instance ?Account FinancialAccount)
        (minimumBalance ?Account OpeningAnAccount
            (MeasureFn ?Balance ?U))
        (instance ?U UnitOfCurrency))
    (exists (?Payment ?Date ?Amount)
        (and
            (destination ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment
                (MeasureFn ?Amount ?U))
            (greaterThanOrEqualTo ?Amount ?Balance)
            (agreementEffectiveDate ?Account ?Date)
            (date ?Payment ?Date))))		 FinancialOntology.kif 708-721 If X is an instance of financial account, X is minimum balance opening an account for Y Z(s), and Z is an instance of unit of currency, then there exist W, V and U such that W ends up at the currency of X and U Z(s) is a transaction amount of W and U is greater than or equal to Y and V is an agreement effective date of X and date of W is V
(=>
    (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 723-736 If X is an instance of financial account, X is minimum balance using an account for Y Z(s), Z is an instance of unit of currency, X current account balance W for V Z(s), and V is less than Y, then there exists U such that U is an instance of penalizing, date of U is W, and U ends up at the currency of X
(=>
    (and
        (downPayment ?Loan ?Amount)
        (agreementEffectiveDate ?Loan ?Date))
    (exists (?Payment)
        (and
            (transactionAmount ?Payment ?Amount)
            (date ?Payment ?Date)
            (destination ?Payment
                (CurrencyFn ?Loan)))))		 FinancialOntology.kif 829-838 If X is a down payment of Y and Z is an agreement effective date of Y, then there exists W such that X is a transaction amount of W, date of W is Z, and W ends up at the currency of Y
(=>
    (and
        (instance ?Loan BalloonLoan)
        (maturityDate ?Loan ?Date)
        (totalBalance ?Loan ?Amount)
        (borrower ?Loan ?Agent))
    (holdsObligation ?Agent
        (exists (?Payment)
            (and
                (date ?Payment ?Date)
                (transactionAmount ?Payment ?Amount)
                (destination ?Payment
                    (CurrencyFn ?Loan))))))		 FinancialOntology.kif 1451-1462 If X is an instance of balloon loan, Y is a maturity date of X, Z is a total balance of X, and X is the borrower of W, then W is obliged to perform tasks of type there exists V such that date of V is Y, Z is a transaction amount of V, and V ends up at the currency of X
(=>
    (dateOfStatement ?Statement ?Date)
    (exists (?Copy)
        (and
            (containsInformation ?Copy ?Statement)
            (date ?Copy ?Date))))		 FinancialOntology.kif 4089-4094 If X is a date of statement of Y, then there exists Z such that Z contains information Y and date of Z is X
(=>
    (foundingdate ?ORG ?D)
    (exists (?F)
        (and
            (instance ?F Founding)
            (instance ?ORG Organization)
            (experiencer ?F ?ORG)
            (date ?F ?D))))		 Society.kif 214-221 If foundingdate X and Y, then there exists Z such that Z is an instance of founding, X is an instance of organization, X experiences Z, and date of Z is Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners