| 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 13482-13484 | |
| (domain agreementPeriod 1 Agreement) | Mid-level-ontology.kif 13480-13480 | 协议期限 的 1 数量 是 协议 的 instance |
| (domain agreementPeriod 2 TimeInterval) | Mid-level-ontology.kif 13481-13481 | 协议期限 的 2 数量 是 时距 的 instance |
| (instance agreementPeriod BinaryPredicate) | Mid-level-ontology.kif 13479-13479 | 协议期限 是 二元谓语 的 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 5931-5931 | |
| (termFormat ChineseTraditionalLanguage agreementPeriod "協議期限") | domainEnglishFormat.kif 5930-5930 | |
| (termFormat EnglishLanguage agreementPeriod "agreement period") | domainEnglishFormat.kif 5929-5929 |
| antecedent |
|
|
| (<=> (and (agreementPeriod ?Account ?Period) (finishes ?End ?Period)) (maturityDate ?Account ?End)) |
FinancialOntology.kif 642-646 | 时距 是 金融账户 的 agreement 週期 和 日 finishes了才到 那个 时距 若且唯若 那个 日 是 那个 金融账户 的 maturity 日期 |
| (<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount)) |
FinancialOntology.kif 3872-3878 | 有存在 时距 这样 贷款 是 贷款 的 instance 和 那个 时距 是 那个 贷款 的 agreement 週期 和 那个 贷款 是 对于 %3 的赚取 interest 若且唯若 利益 是 那个 贷款 的 loan 利息 |
| (=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement))) |
Mid-level-ontology.kif 13486-13491 | |
| (=> (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 2888-2904 |
|
| (=> (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 2924-2940 |
|
| (=> (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 2861-2877 |
|
| (=> (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 1260-1270 | |
| (=> (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 1223-1232 | |
| (=> (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 1272-1281 | |
| (=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) (MeasureFn ?Principal ?CUNIT)) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) (MeasureFn ?Interest ?CUNIT) ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment (MeasureFn ?Total ?CUNIT))))) |
FinancialOntology.kif 2341-2363 |
|
| (=> (and (instance ?Loan BankTermLoan) (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn ?Duration YearDuration))) (greaterThanOrEqualTo ?Duration 1)) |
FinancialOntology.kif 1496-1501 | |
| (=> (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 1614-1623 | |
| (=> (and (loanFeeAmount ?Loan ?Amount) (agreementPeriod ?Loan ?Period)) (interestEarned ?Loan ?Amount ?Period)) |
FinancialOntology.kif 4114-4118 |
| 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 2947-2951 | |
| (=> (instance ?Loan DayLoan) (and (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn 1 DayDuration)))) |
FinancialOntology.kif 1578-1582 | |
| (=> (property ?Option ConventionalOption) (exists (?Number) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 39)))) |
FinancialOntology.kif 2582-2588 | |
| (=> (property ?Option ConventionalOption) (exists (?Number) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 9)))) |
FinancialOntology.kif 2566-2572 |
|
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