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。") Merge.kif 8643-8644
(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 8640-8642
(domain date 1 Physical) Merge.kif 8637-8637
(domain date 2 Day) Merge.kif 8638-8638
(instance date AsymmetricRelation) Merge.kif 8636-8636
(instance date BinaryPredicate) Merge.kif 8634-8634
(instance date SingleValuedRelation) Merge.kif 8635-8635
(subrelation date time) Merge.kif 8639-8639

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 266-266
(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 PortugueseLanguage date "a data de %1 e' %n %2") portuguese_format.kif 207-207
(format ar date "تَارِيخ %1 هو %n %2") arabic_format.kif 189-189
(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 tg date "ang petsang %1 %n ay %2") relations-tg.txt 144-144
(termFormat ChineseLanguage date "日期") chinese_format.kif 442-442
(termFormat EnglishLanguage date "date") domainEnglishFormat.kif 3522-3522
(termFormat ar date "«تَارِيخ»") arabic_format.kif 639-639
(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 15574-15591
(=>
    (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 1032-1044
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account))
        (transactionAmount ?Transaction ?Amount)
        (instance ?Cash Currency)
        (patient ?Transaction ?Cash)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableCash ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))
FinancialOntology.kif 3675-3686
(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction ?Account)
        (transactionAmount ?Transaction ?Amount)
        (date ?Transaction ?Day))
    (exists (?Amount2)
        (and
            (availableBalance ?Account ?Day ?Amount2)
            (greaterThanOrEqualTo ?Amount1 ?Amount2))))
FinancialOntology.kif 3655-3664
(=>
    (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 12368-12382
(=>
    (and
        (transactionAmount ?Payment ?Amount)
        (date ?Payment ?Date)
        (instance ?Account FinancialAccount)
        (destination ?Payment
            (CurrencyFn ?Account))
        (amountDue ?Account ?AmountDue ?DueDate)
        (before
            (EndFn ?Date)
            (BeginFn ?DueDate)))
    (instance ?Payment Prepayment))
FinancialOntology.kif 779-787

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 615-627
(=>
    (and
        (downPayment ?Loan ?Amount)
        (agreementEffectiveDate ?Loan ?Date))
    (exists (?Payment)
        (and
            (transactionAmount ?Payment ?Amount)
            (date ?Payment ?Date)
            (destination ?Payment
                (CurrencyFn ?Loan)))))
FinancialOntology.kif 757-765
(=>
    (and
        (instance ?Account ?FinancialAccount)
        (minimumBalance ?Account OpeningAnAccount ?Balance))
    (exists (?Payment)
        (and
            (destination ?Payment
                (CurrencyFn ?Account))
            (transactionAmount ?Payment ?Amount)
            (greaterThanOrEqualTo ?Amount ?Balance)
            (agreementEffectiveDate ?Account ?Date)
            (date ?Payment ?Date))))
FinancialOntology.kif 646-656
(=>
    (and
        (instance ?Account ?FinancialAccount)
        (minimumBalance ?Account UsingAnAccount ?Balance)
        (currentAccountBalance ?Account ?Date ?Amount)
        (lessThan ?Amount ?Balance))
    (exists (?Penalty)
        (and
            (instance ?Penalty Penalty)
            (date ?Penalty ?Date)
            (destination ?Penalty
                (CurrencyFn ?Account)))))
FinancialOntology.kif 658-668
(=>
    (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 1353-1363
(=>
    (birthdate ?P ?D)
    (exists (?B)
        (and
            (instance ?B Birth)
            (experiencer ?B ?P)
            (date ?B ?D))))
Mid-level-ontology.kif 21943-21949
(=>
    (dateOfStatement ?Statement ?Date)
    (exists (?Copy)
        (and
            (containsInformation ?Copy ?Statement)
            (date ?Copy ?Date))))
FinancialOntology.kif 3867-3872
(=>
    (deathdate ?P ?T)
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (date ?D ?T))))
Mid-level-ontology.kif 21957-21963
(=>
    (foundingdate ?ORG ?D)
    (exists (?F)
        (and
            (instance ?F Founding)
            (instance ?ORG Organization)
            (experiencer ?F ?ORG)
            (date ?F ?D))))
Society.kif 214-221


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners