| 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 7985-7987 | |
| (domain date 1 Physical) | Merge.kif 7981-7981 | |
| (domain date 2 Day) | Merge.kif 7982-7982 | |
| (instance date AsymmetricRelation) | Merge.kif 7980-7980 | |
| (instance date BinaryPredicate) | Merge.kif 7978-7978 | |
| (instance date SingleValuedRelation) | Merge.kif 7979-7979 | |
| (subrelation date time) | Merge.kif 7983-7983 |
| 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 450-450 | |
| (termFormat ChineseLanguage date "日期") | chinese_format.kif 442-442 | |
| (termFormat ChineseTraditionalLanguage date "日期") | domainEnglishFormat.kif 18528-18528 | |
| (termFormat EnglishLanguage date "date") | domainEnglishFormat.kif 18527-18527 |
| 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 14344-14361 | |
| (=> (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 1031-1043 | |
| (=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account)) (transactionAmount ?Transaction ?Amount1) (instance ?Cash Currency) (patient ?Transaction ?Cash) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableCash ?Account ?Day ?Amount2) (greaterThanOrEqualTo ?Amount1 ?Amount2)))) |
FinancialOntology.kif 3682-3693 | |
| (=> (and (instance ?Transaction FinancialTransaction) (origin ?Transaction ?Account) (transactionAmount ?Transaction ?Amount1) (date ?Transaction ?Day)) (exists (?Amount2) (and (availableBalance ?Account ?Day ?Amount2) (greaterThanOrEqualTo ?Amount1 ?Amount2)))) |
FinancialOntology.kif 3662-3671 | |
| (=> (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 12420-12434 | |
| (=> (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 778-786 |
| 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 614-626 | |
| (=> (and (downPayment ?Loan ?Amount) (agreementEffectiveDate ?Loan ?Date)) (exists (?Payment) (and (transactionAmount ?Payment ?Amount) (date ?Payment ?Date) (destination ?Payment (CurrencyFn ?Loan))))) |
FinancialOntology.kif 756-764 | |
| (=> (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 645-655 | |
| (=> (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 657-667 | |
| (=> (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 1352-1362 | |
| (=> (birthdate ?P ?D) (exists (?B) (and (instance ?B Birth) (experiencer ?B ?P) (date ?B ?D)))) |
Mid-level-ontology.kif 22039-22045 | |
| (=> (dateOfStatement ?Statement ?Date) (exists (?Copy) (and (containsInformation ?Copy ?Statement) (date ?Copy ?Date)))) |
FinancialOntology.kif 3874-3879 | |
| (=> (deathdate ?P ?T) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (date ?D ?T)))) |
Mid-level-ontology.kif 22053-22059 |
|
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