Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  agreementPeriod

 Sigma KEE - agreementPeriod
agreementPeriod

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 15383-15385
(domain agreementPeriod 1 Agreement) Mid-level-ontology.kif 15381-15381 域 協議期限, 1 and 協議
(domain agreementPeriod 2 TimeInterval) Mid-level-ontology.kif 15382-15382 域 協議期限, 2 and TimeInterval
(instance agreementPeriod BinaryPredicate) Mid-level-ontology.kif 15380-15380 例 協議期限 and BinaryPredicate

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 644-648 TimeInterval 是 金融賬戶 的 agreement 週期 飾面 Day and TimeInterval Day 是 金融賬戶 的 maturity 日期
(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))		 FinancialOntology.kif 3938-3944 TimeInterval 例 貸款 and 貸款 TimeInterval 是 貸款 的 agreement 週期 貸款 是 對於 %3 的賺取 interest 利益 是 貸款 的 loan 利息
(=>
    (and
        (agreementPeriod ?AGREEMENT ?DURATION)
        (agreementEffectiveDate ?AGREEMENT ?STARTDATE))
    (holdsDuring
        (TimePeriodFn ?STARTDATE ?DURATION)
        (property ?AGREEMENT ActiveAgreement)))		 Mid-level-ontology.kif 15387-15392
(=>
    (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 2898-2914
(=>
    (and
        (attribute ?Order GTCOrder)
        (agreementPeriod ?Order ?Period))
    (or
        (exists (?Execute ?Time)
            (and
                (instance ?Execute FillingAnOrder)
                (patient ?Execute ?Order)
                (equal
                    (WhenFn ?Execute) ?Time)
                (overlapsTemporally ?Time ?Period)))
        (exists (?Cancel ?End)
            (and
                (instance ?Cancel CancellingAnOrder)
                (patient ?Cancel ?Order)
                (equal
                    (WhenFn ?Cancel) ?End)
                (finishes ?End ?Period)))))		 FinancialOntology.kif 2934-2950
(=>
    (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 2871-2887
(=>
    (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 1277-1287
(=>
    (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 1240-1249
(=>
    (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 1289-1298
(=>
    (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 2350-2372
(=>
    (and
        (instance ?Loan BankTermLoan)
        (agreementPeriod ?Loan ?Period)
        (duration ?Period
            (MeasureFn ?Duration YearDuration)))
    (greaterThanOrEqualTo ?Duration 1))		 FinancialOntology.kif 1513-1518
(=>
    (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 1631-1640
(=>
    (and
        (loanFeeAmount ?Loan ?Amount)
        (agreementPeriod ?Loan ?Period))
    (interestEarned ?Loan ?Amount ?Period))		 FinancialOntology.kif 4180-4184

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 295-308
(=>
    (instance ?Loan DayLoan)
    (and
        (agreementPeriod ?Loan ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))		 FinancialOntology.kif 1595-1599
(=>
    (property ?Option ConventionalOption)
    (exists (?Number ?Period)
        (and
            (agreementPeriod ?Option ?Period)
            (duration ?Period
                (MeasureFn ?Number MonthDuration))
            (lessThan ?Number 39))))		 FinancialOntology.kif 2591-2597
(=>
    (property ?Option ConventionalOption)
    (exists (?Number ?Period)
        (and
            (agreementPeriod ?Option ?Period)
            (duration ?Period
                (MeasureFn ?Number MonthDuration))
            (lessThan ?Number 9))))		 FinancialOntology.kif 2575-2581
(=>
    (property ?Order DayOrder)
    (and
        (agreementPeriod ?Order ?Period)
        (duration ?Period
            (MeasureFn 1 DayDuration))))		 FinancialOntology.kif 2957-2961


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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