| appearance as argument number 1 |
|
| (documentation agreementPeriod EnglishLanguage "(agreementPeriod ?AGREEMENT ?DURATION) holds if ?DURATION specifies a TimeDuration, which is the length of time that the ?AGREEMENT is ActiveAgreement.") | Mid-level-ontology.kif 11621-11623 | |
| (domain agreementPeriod 1 Agreement) | Mid-level-ontology.kif 11619-11619 | 协议期限 的 1 数量 是 协议 的 instance |
| (domain agreementPeriod 2 TimeInterval) | Mid-level-ontology.kif 11620-11620 | 协议期限 的 2 数量 是 时距 的 instance |
| (instance agreementPeriod BinaryPredicate) | Mid-level-ontology.kif 11618-11618 | 协议期限 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage agreementPeriod "%2 是 %1 的 agreement 週期") | domainEnglishFormat.kif 96-96 | |
| (format ChineseTraditionalLanguage agreementPeriod "%2 是 %1 的 agreement 週期") | domainEnglishFormat.kif 95-95 | |
| (format EnglishLanguage agreementPeriod "%2 is %n an agreement period of %1") | domainEnglishFormat.kif 94-94 | |
| (termFormat ChineseLanguage agreementPeriod "协议期限") | domainEnglishFormat.kif 5929-5929 | |
| (termFormat ChineseTraditionalLanguage agreementPeriod "協議期限") | domainEnglishFormat.kif 5928-5928 | |
| (termFormat EnglishLanguage agreementPeriod "agreement period") | domainEnglishFormat.kif 5927-5927 |
| antecedent |
|
|
| (<=> (and (agreementPeriod ?Account ?Period) (finishes ?End ?Period)) (maturityDate ?Account ?End)) |
FinancialOntology.kif 601-605 | 时距 是 金融账户 的 agreement 週期 和 日 finishes了才到 那个 时距 若且唯若 那个 日 是 那个 金融账户 的 maturity 日期 |
| (<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3762-3768 | 有存在 时距 这样 贷款 是 贷款 的 instance 和 那个 时距 是 那个 贷款 的 agreement 週期 和 那个 贷款 是 对于 %3 的赚取 interest 若且唯若 利益 是 那个 贷款 的 loan 利息 |
| (=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement))) |
Mid-level-ontology.kif 11625-11630 | |
| (=> (and (attribute ?Order FOKOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period))))) |
FinancialOntology.kif 2802-2818 |
|
| (=> (and (attribute ?Order GTCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Execute) (and (instance ?Execute FillingAnOrder) (patient ?Execute ?Order) (equal (WhenFn ?Execute) ?Time) (overlapsTemporally ?Time ?Period))) (exists (?Cancel) (and (instance ?Cancel CancellingAnOrder) (patient ?Cancel ?Order) (equal (WhenFn ?Cancel) ?End) (finishes ?End ?Period))))) |
FinancialOntology.kif 2838-2854 |
|
| (=> (and (attribute ?Order IOCOrder) (agreementPeriod ?Order ?Period)) (or (exists (?Fill ?Time1) (and (instance ?Fill FillingAnOrder) (patient ?Fill ?Order) (equal (WhenFn ?Fill) ?Time1) (starts ?Time1 ?Period))) (exists (?Kill ?Time2) (and (instance ?Kill CancellingAnOrder) (patient ?Kill ?Order) (equal (WhenFn ?Kill) ?Time2) (starts ?Time2 ?Period))))) |
FinancialOntology.kif 2775-2791 |
|
| (=> (and (borrower ?Loan ?Borrower) (lender ?Loan ?Lender) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Interest ?Period)) (exists (?Payment) (and (origin ?Payment ?Borrower) (transactionAmount ?Payment ?Interest) (destination ?Payment ?Lender)))) |
FinancialOntology.kif 1202-1212 | |
| (=> (and (instance ?Account CreditAccount) (accountHolder ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation (KappaFn ?Payment (transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1165-1174 | |
| (=> (and (instance ?Account Loan) (borrower ?Account ?Agent) (principalAmount ?Account ?Principal) (agreementPeriod ?Account ?Period) (interestEarned ?Account ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (holdsObligation (KappaFn ?Payment (transactionAmount ?Payment ?Total)) ?Agent)) |
FinancialOntology.kif 1214-1223 | |
| (=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) ?Principal) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) ?Interest ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment ?Total)))) |
FinancialOntology.kif 2263-2277 |
|
| (=> (and (instance ?Loan BankTermLoan) (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn ?Duration YearDuration))) (greaterThanOrEqualTo ?Duration 1)) |
FinancialOntology.kif 1438-1443 | |
| (=> (and (instance ?Loan InterestOnlyLoan) (agreementPeriod ?Loan ?Period) (principalAmount ?Loan ?Principal) (interestEarned ?Loan ?Interest ?Period)) (and (amountDue ?Loan ?Principal (EndFn ?Period)) (amountDue ?Loan ?Interest ?Date) (before (EndFn ?Date) (EndFn ?Period)))) |
FinancialOntology.kif 1557-1566 | |
| (=> (and (loanFeeAmount ?Loan ?Amount) (agreementPeriod ?Loan ?Period)) (interestEarned ?Loan ?Amount ?Period)) |
FinancialOntology.kif 4005-4009 |
| consequent |
|
|
| (=> (and (instance ?Opening OpeningAnAccount) (eventLocated ?Opening ?Bank) (instance ?Bank FinancialOrganization) (agent ?Opening ?Agent) (equal (WhenFn ?Opening) ?OpeningTime)) (exists (?Account ?AccountPeriod) (and (agreementPeriod ?Account ?AccountPeriod) (meetsTemporally ?OpeningTime ?AccountPeriod) (instance ?Account FinancialAccount) (accountAt ?Account ?Bank) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 293-306 |
|
| (=> (attribute ?Order DayOrder) (and (agreementPeriod ?Order ?Period) (duration ?Period (MeasureFn 1 DayDuration)))) |
FinancialOntology.kif 2861-2865 | |
| (=> (instance ?Loan DayLoan) (and (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn 1 DayDuration)))) |
FinancialOntology.kif 1521-1525 | |
| (=> (property ?Option ConventionalOption) (exists (?Number) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 39)))) |
FinancialOntology.kif 2496-2502 | |
| (=> (property ?Option ConventionalOption) (exists (?Number) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 9)))) |
FinancialOntology.kif 2480-2486 |
|
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