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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 agreementPeriod の数値 1 引数は Agreement の instance では
(domain agreementPeriod 2 TimeInterval) Mid-level-ontology.kif 15382-15382 agreementPeriod の数値 2 引数は 時間間隔 の instance では
(instance agreementPeriod BinaryPredicate) Mid-level-ontology.kif 15380-15380 agreementPeriod は 2進述語 の 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 644-648 agreementPeriod FinancialAccount and 時間間隔 日 は 時間間隔 を finishes maturityDate FinancialAccount and 日
(<=>
    (exists (?Period)
        (and
            (instance ?Loan Loan)
            (agreementPeriod ?Loan ?Period)
            (interestEarned ?Loan ?Amount ?Period)))
    (loanInterest ?Loan ?Amount))		 FinancialOntology.kif 3938-3944 時間間隔 Loan は Loan の instance では agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔 loanInterest Loan and Interest
(=>
    (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 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