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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - date
date

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


(documentation date ChineseLanguage "这是一个 BinaryPredicate, 它以绝对日历时间,以一天为限, 为特定的 ObjectProcess 指定一个 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 8548-8550
(documentation date JapaneseLanguage "BinaryPredicate は、特定の O または P に対して、1日 の解像度で、絶対暦時間に TimePosition を指定する。") japanese_format.kif 1473-1474
(domain date 1 Physical) Merge.kif 8544-8544 The number 1 argument of date is an instance of physical
(domain date 2 Day) Merge.kif 8545-8545 The number 2 argument of date is an instance of day
(instance date BinaryPredicate) Merge.kif 8542-8542 date is an instance of binary predicate
(instance date SingleValuedRelation) Merge.kif 8543-8543 date is an instance of single valued relation
(subrelation date time) Merge.kif 8546-8546 date is a subrelation of time

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
(format FrenchLanguage date "la date de %1 est %n %2") french_format.kif 255-255
(format ItalianLanguage date "data di %1 è %n %2") relations-it.txt 64-64
(format JapaneseLanguage date "%1 の date は %2 では %n ") japanese_format.kif 2049-2049
(format PortugueseLanguage date "a data de %1 e' %n %2") portuguese_format.kif 207-207
(format cb date "ang petsang %1 %n ay %2") relations-cb.txt 98-98
(format cz date "date of %1 %p{je} %n{nen�} %2") relations-cz.txt 261-261
(format de date "datum von %1 ist %2 %n{nicht}") relations-de.txt 576-576
(format hi date "%1 kaa dinaanka %2 %n hai") relations-hindi.txt 105-105
(format ro date "date%t{data} lui %1 %n{nu} este %2") relations-ro.kif 276-276
(format sv date "datum för %1 är %n{inte} %2") relations-sv.txt 280-280
(format tg date "ang petsang %1 %n ay %2") relations-tg.txt 144-144
(termFormat ChineseLanguage date "日期") chinese_format.kif 442-442
(termFormat ChineseTraditionalLanguage date "日期") domainEnglishFormat.kif 18605-18605
(termFormat EnglishLanguage date "date") domainEnglishFormat.kif 18604-18604
(termFormat tg date "petsa") relations-tg.txt 145-145

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 15515-15532
(=>
    (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 1087-1099
(=>
    (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 3838-3852
(=>
    (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 3815-3827
(=>
    (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 24195-24206
(=>
    (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 14624-14638
(=>
    (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 834-842

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 807-816
(=>
    (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 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 1411-1421
(=>
    (baptizeddate ?PERSON ?DAY)
    (exists (?BAPTISM)
        (and
            (instance ?BAPTISM Baptizing)
            (experiencer ?BAPTISM ?PERSON)
            (date ?BAPTISM ?DAY))))
Biography.kif 178-184
(=>
    (birthdate ?P ?D)
    (exists (?B)
        (and
            (instance ?B Birth)
            (experiencer ?B ?P)
            (date ?B ?D))))
Mid-level-ontology.kif 24270-24276
(=>
    (dateOfStatement ?Statement ?Date)
    (exists (?Copy)
        (and
            (containsInformation ?Copy ?Statement)
            (date ?Copy ?Date))))
FinancialOntology.kif 4031-4036
(=>
    (deathdate ?P ?T)
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (date ?D ?T))))
Mid-level-ontology.kif 24284-24290
(=>
    (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 24216-24225


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