date - Sigma Knowledge base Browser

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，它以绝对日历时间，以一天为限，为特定的 Object 或 Process 指定一个 TimePosition。")	Merge.kif 8660-8661
(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 8657-8659
(domain date 1 Physical)	Merge.kif 8654-8654	The number 1 argument of date is an instance of physical
(domain date 2 Day)	Merge.kif 8655-8655	The number 2 argument of date is an instance of day
(instance date AsymmetricRelation)	Merge.kif 8653-8653	date is an instance of asymmetric relation
(instance date BinaryPredicate)	Merge.kif 8651-8651	date is an instance of binary predicate
(instance date SingleValuedRelation)	Merge.kif 8652-8652	date is an instance of single valued relation
(subrelation date time)	Merge.kif 8656-8656	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 266-266
(termFormat ChineseLanguage date "日期")	chinese_format.kif 442-442	"日期" is the printable form of date in ChineseLanguage
(termFormat EnglishLanguage date "date")	domainEnglishFormat.kif 3522-3522	"date" is the printable form of date in english language

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 15632-15649	If edition a positive integer of a kind of content bearing object is equal to another kind of content bearing object and edition another positive integer of a kind of content bearing object is equal to a third kind of content bearing object and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of another kind of content bearing object and another entity is an instance of a third kind of content bearing object and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
(=> (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	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawal and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process
(=> (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	If a financial transaction is an instance of financial transaction and the financial transaction originates at the currency of a financial account and a currency measure is a transaction amount of the financial transaction and an entity is an instance of currency and the entity is a patient of the financial transaction and date of the financial transaction is a day, then there exists the currency measure2 such that the available cash of the financial account on the day is the currency measure2 and the currency measure1 is greater than or equal to the currency measure2
(=> (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	If a financial transaction is an instance of financial transaction and the financial transaction originates at a financial account and a currency measure is a transaction amount of the financial transaction and date of the financial transaction is a day, then there exists the currency measure2 such that the available balance of the financial account on the day is the currency measure2 and the currency measure1 is greater than or equal to the currency measure2
(=> (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	If a kind of series is a subclass of periodical and volume a positive integer in the series a kind of series is equal to a kind of text and volume another positive integer in the series the kind of series is equal to another kind of text and the other positive integer is greater than the positive integer and a process is an instance of publication and another process is an instance of publication and an entity is an instance of a kind of text and another entity is an instance of another kind of text and the entity is a patient of the process and the other entity is a patient of the other process and date of the process is a day and date of the other process is another day, then the end of the day happens before the end of the other day
(=> (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	If a currency measure is a transaction amount of a financial transaction and date of the financial transaction is a day and a financial account is an instance of financial account and the financial transaction ends up at the currency of the financial account and the financial account amount due the currency measureDue for a time interval and the end of the day happens before the beginning of the time interval, then the financial transaction is an instance of prepayment

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	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (and (downPayment ?Loan ?Amount) (agreementEffectiveDate ?Loan ?Date)) (exists (?Payment) (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (destination ?Payment (CurrencyFn ?Loan)))))	FinancialOntology.kif 757-765	If a currency measure is a down payment of a loan and a time point is an agreement effective date of the loan, then there exists a financial transaction such that the currency measure is a transaction amount of the financial transaction and date of the financial transaction is the time point and the financial transaction ends up at the currency of the loan
(=> (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	If a financial account is an instance of a set or class and the financial account minimum balance opening an account for a currency measure, then there exists a financial transaction such that the financial transaction ends up at the currency of the financial account and another currency measure is a transaction amount of the financial transaction and the other currency measure is greater than or equal to the currency measure and a time point is an agreement effective date of the financial account and date of the financial transaction is the time point
(=> (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	If a financial account is an instance of a set or class and the financial account minimum balance using an account for a currency measure and the financial account current account balance a day for another currency measure and the other currency measure is less than the currency measure, then there exists a process such that the process is an instance of penalty and date of the process is the day and the process ends up at the currency of the financial account
(=> (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	If a loan is an instance of balloon loan and a day is a maturity date of the loan and a currency measure is a total balance of the loan and the loan is the borrower of a cognitive agent, then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
(=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D))))	Mid-level-ontology.kif 21974-21980	If a day is a birthdate of a human, then there exists a process such that the process is an instance of birth and the human experiences the process and date of the process is the day
(=> (dateOfStatement ?Statement ?Date) (exists (?Copy) (and (containsInformation ?Copy ?Statement) (date ?Copy ?Date))))	FinancialOntology.kif 3867-3872	If a day is a date of statement of a bank statement, then there exists a content bearing physical such that the content bearing physical contains information the bank statement and date of the content bearing physical is the day
(=> (deathdate ?P ?T) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (date ?D ?T))))	Mid-level-ontology.kif 21988-21994	If a day is a deathdate of a human, then there exists a process such that the process is an instance of death and the human experiences the process and date of the process is the day

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