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
-------------------------


s__documentation(s__agreementPeriod__m,s__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
s__domain(s__agreementPeriod__m,n__1,s__Agreement)

Mid-level-ontology.kif 11619-11619 The number 1 argument of agreement period is an instance of agreement
s__domain(s__agreementPeriod__m,n__2,s__TimeInterval)

Mid-level-ontology.kif 11620-11620 The number 2 argument of agreement period is an instance of time interval
s__instance(s__agreementPeriod__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Mid-level-ontology.kif 11618-11618 agreement period is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__agreementPeriod__m,'"%2 是 %1 的 agreement 週期"')

domainEnglishFormat.kif 96-96
s__format(s__ChineseTraditionalLanguage,s__agreementPeriod__m,'"%2 是 %1 的 agreement 週期"')

domainEnglishFormat.kif 95-95
s__format(s__EnglishLanguage,s__agreementPeriod__m,'"%2 is %n an agreement period of %1"')

domainEnglishFormat.kif 94-94
s__termFormat(s__ChineseLanguage,s__agreementPeriod__m,'"协议期限"')

domainEnglishFormat.kif 5929-5929
s__termFormat(s__ChineseTraditionalLanguage,s__agreementPeriod__m,'"協議期限"')

domainEnglishFormat.kif 5928-5928
s__termFormat(s__EnglishLanguage,s__agreementPeriod__m,'"agreement period"')

domainEnglishFormat.kif 5927-5927

antecedent
-------------------------


( ! [V__Period,V__End,V__Account] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__End,s__Day) &
       s__instance(V__Account,s__FinancialAccount))
     =>
     ((s__agreementPeriod(V__Account,V__Period)
       &
       s__finishes(V__End,V__Period))
   =>
   s__maturityDate(V__Account,V__End))
&
(s__maturityDate(V__Account,V__End)
=>
(s__agreementPeriod(V__Account,V__Period)
&
s__finishes(V__End,V__Period)))
)
)

FinancialOntology.kif 601-605 A time interval is an agreement period of a financial account and a day finishes the time interval if and only if the day is a maturity date of the financial account
( ! [V__Amount,V__Loan] :
   (s__instance(V__Amount,s__Interest) =>
     (( ? [V__Period] :
         ((s__instance(V__Period,s__TimeInterval) &
             (s__instance(V__Loan,s__Loan) &
               s__agreementPeriod(V__Loan,V__Period)
             &
             s__interestEarned(V__Loan,V__Amount,V__Period)))))
   =>
   s__loanInterest(V__Loan,V__Amount))
&
(s__loanInterest(V__Loan,V__Amount)
=>
( ? [V__Period] :
((s__instance(V__Period,s__TimeInterval) &
     (s__instance(V__Loan,s__Loan) &
       s__agreementPeriod(V__Loan,V__Period)
     &
     s__interestEarned(V__Loan,V__Amount,V__Period))))))
)
)

FinancialOntology.kif 3762-3768 There exists a time interval such that a loan is an instance of loan and the time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval if and only if the interest is a loan interest of the loan
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11625-11630
( ! [V__Order,V__Period] :
   ((s__instance(V__Order,s__Agreement) &
       s__instance(V__Order,s__Object) &
       s__instance(V__Period,s__TimeInterval))
     =>
     (s__attribute(V__Order,s__FOKOrder) &
       s__agreementPeriod(V__Order,V__Period))
   =>
   (( ? [V__Fill, V__Time1] :
       ((s__instance(V__Time1,s__TimeInterval) &
           (s__instance(V__Fill,s__FillingAnOrder) &
             s__patient(V__Fill,V__Order)
           &
           (s__WhenFn(V__Fill)
           = V__Time1)
         &
         s__starts(V__Time1,V__Period)))))
|
( ? [V__Kill, V__Time2] :
((s__instance(V__Time2,s__TimeInterval) &
     (s__instance(V__Kill,s__CancellingAnOrder) &
       s__patient(V__Kill,V__Order)
     &
     (s__WhenFn(V__Kill)
     = V__Time2)
   &
   s__starts(V__Time2,V__Period))))))
)
)

FinancialOntology.kif 2802-2818
( ! [V__Order,V__Period,V__End,V__Time] :
   ((s__instance(V__Order,s__Agreement) &
       s__instance(V__Order,s__Object) &
       s__instance(V__Period,s__TimeInterval) &
       s__instance(V__End,s__TimeInterval) &
       s__instance(V__Time,s__TimeInterval))
     =>
     (s__attribute(V__Order,s__GTCOrder) &
       s__agreementPeriod(V__Order,V__Period))
   =>
   (( ? [V__Execute] :
       ((s__instance(V__Execute,s__FillingAnOrder) &
           s__patient(V__Execute,V__Order)
         &
         (s__WhenFn(V__Execute)
         = V__Time)
       &
       s__overlapsTemporally(V__Time,V__Period))))
|
( ? [V__Cancel] :
((s__instance(V__Cancel,s__CancellingAnOrder) &
     s__patient(V__Cancel,V__Order)
   &
   (s__WhenFn(V__Cancel)
   = V__End)
&
s__finishes(V__End,V__Period)))))
)
)

FinancialOntology.kif 2838-2854
( ! [V__Order,V__Period] :
   ((s__instance(V__Order,s__Agreement) &
       s__instance(V__Order,s__Object) &
       s__instance(V__Period,s__TimeInterval))
     =>
     (s__attribute(V__Order,s__IOCOrder) &
       s__agreementPeriod(V__Order,V__Period))
   =>
   (( ? [V__Fill, V__Time1] :
       ((s__instance(V__Time1,s__TimeInterval) &
           (s__instance(V__Fill,s__FillingAnOrder) &
             s__patient(V__Fill,V__Order)
           &
           (s__WhenFn(V__Fill)
           = V__Time1)
         &
         s__starts(V__Time1,V__Period)))))
|
( ? [V__Kill, V__Time2] :
((s__instance(V__Time2,s__TimeInterval) &
     (s__instance(V__Kill,s__CancellingAnOrder) &
       s__patient(V__Kill,V__Order)
     &
     (s__WhenFn(V__Kill)
     = V__Time2)
   &
   s__starts(V__Time2,V__Period))))))
)
)

FinancialOntology.kif 2775-2791
( ! [V__Lender,V__Period,V__Loan,V__Interest,V__Borrower] :
   ((s__instance(V__Lender,s__CognitiveAgent) &
       s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Loan,s__Loan) &
       s__instance(V__Interest,s__Interest) &
       s__instance(V__Borrower,s__CognitiveAgent))
     =>
     (s__borrower(V__Loan,V__Borrower)
     &
     s__lender(V__Loan,V__Lender)
   &
   s__agreementPeriod(V__Loan,V__Period)
&
s__interestEarned(V__Loan,V__Interest,V__Period))
=>
( ? [V__Payment] :
((s__instance(V__Payment,s__FinancialTransaction) &
   (s__origin(V__Payment,V__Borrower)
   &
   s__transactionAmount(V__Payment,V__Interest)
&
s__destination(V__Payment,V__Lender)))))
)
)

FinancialOntology.kif 1202-1212
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1165-1174
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1214-1223
( ! [V__Period,V__Total,V__BondHolder,V__Date,V__Bond,V__Interest,V__Principal] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Total,s__CurrencyMeasure) &
       s__instance(V__BondHolder,s__Agent) &
       s__instance(V__Date,s__Day) &
       s__instance(V__Interest,s__Interest) &
       s__instance(V__Principal,s__CurrencyMeasure))
     =>
     (s__instance(V__Bond,s__ZeroCouponBond) &
       s__maturityDate(s__AccountFn(V__Bond)
    ,V__Date)
   &
   s__possesses(V__BondHolder,V__Bond)
&
s__principalAmount(s__AccountFn(V__Bond)
,V__Principal)
&
s__agreementPeriod(s__AccountFn(V__Bond)
,V__Period)
&
s__interestEarned(s__AccountFn(V__Bond)
,V__Interest,V__Period)
&
(V__Total = s__AdditionFn(V__Principal,V__Interest)))
=>
( ? [V__Payment] :
((s__instance(V__Payment,s__Payment) &
s__destination(V__Payment,V__BondHolder)
&
s__origin(V__Payment,s__AccountFn(V__Bond))
&
s__transactionAmount(V__Payment,V__Total))))
)
)

FinancialOntology.kif 2263-2277
( ! [V__Period,V__Loan,V__Duration] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Duration,s__RealNumber))
     =>
     (s__instance(V__Loan,s__BankTermLoan) &
       s__agreementPeriod(V__Loan,V__Period)
     &
     s__duration(V__Period,s__MeasureFn(V__Duration,s__YearDuration)))
=>
s__greaterThanOrEqualTo(V__Duration,n__1)
)
)

FinancialOntology.kif 1438-1443
( ! [V__Period,V__Loan,V__Date,V__Interest,V__Principal] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Date,s__TimeInterval) &
       s__instance(V__Interest,s__Interest) &
       s__instance(V__Principal,s__CurrencyMeasure))
     =>
     (s__instance(V__Loan,s__InterestOnlyLoan) &
       s__agreementPeriod(V__Loan,V__Period)
     &
     s__principalAmount(V__Loan,V__Principal)
   &
   s__interestEarned(V__Loan,V__Interest,V__Period))
=>
(s__amountDue(V__Loan,V__Principal,s__EndFn(V__Period))
&
s__amountDue(V__Loan,V__Interest,V__Date)
&
s__before(s__EndFn(V__Date)
,s__EndFn(V__Period)))
)
)

FinancialOntology.kif 1557-1566
( ! [V__Amount,V__Period,V__Loan] :
   ((s__instance(V__Amount,s__Interest) &
       s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Loan,s__Loan))
     =>
     (s__loanFeeAmount(V__Loan,V__Amount)
     &
     s__agreementPeriod(V__Loan,V__Period))
=>
s__interestEarned(V__Loan,V__Amount,V__Period)
)
)

FinancialOntology.kif 4005-4009

consequent
-------------------------


( ! [V__OpeningTime,V__Agent,V__Bank,V__Opening] :
   ((s__instance(V__OpeningTime,s__TimeInterval) &
       s__instance(V__Agent,s__CognitiveAgent))
     =>
     (s__instance(V__Opening,s__OpeningAnAccount) &
       s__eventLocated(V__Opening,V__Bank)
     &
     s__instance(V__Bank,s__FinancialOrganization) &
     s__agent(V__Opening,V__Agent)
   &
   (s__WhenFn(V__Opening)
   = V__OpeningTime))
=>
( ? [V__Account, V__AccountPeriod] :
((s__instance(V__AccountPeriod,s__TimeInterval) &
     (s__agreementPeriod(V__Account,V__AccountPeriod)
     &
     s__meetsTemporally(V__OpeningTime,V__AccountPeriod)
   &
   s__instance(V__Account,s__FinancialAccount) &
   s__accountAt(V__Account,V__Bank)
&
s__accountHolder(V__Account,V__Agent)))))
)
)

FinancialOntology.kif 293-306
( ! [V__Order,V__Period] :
   ((s__instance(V__Order,s__Agreement) &
       s__instance(V__Order,s__Object) &
       s__instance(V__Period,s__TimeInterval))
     =>
     s__attribute(V__Order,s__DayOrder) =>
     (s__agreementPeriod(V__Order,V__Period)
     &
     s__duration(V__Period,s__MeasureFn(n__1,s__DayDuration)))
)
)

FinancialOntology.kif 2861-2865
( ! [V__Period,V__Loan] :
   (s__instance(V__Period,s__TimeInterval) =>
     s__instance(V__Loan,s__DayLoan) =>
     (s__agreementPeriod(V__Loan,V__Period)
     &
     s__duration(V__Period,s__MeasureFn(n__1,s__DayDuration)))
)
)

FinancialOntology.kif 1521-1525
( ! [V__Period,V__Option] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Option,s__Agreement))
     =>
     s__property(V__Option,s__ConventionalOption) =>
     ( ? [V__Number] :
       ((s__instance(V__Number,s__RealNumber) &
           (s__agreementPeriod(V__Option,V__Period)
           &
           s__duration(V__Period,s__MeasureFn(V__Number,s__MonthDuration))
         &
         s__lessThan(V__Number,n__39)))))
)
)

FinancialOntology.kif 2496-2502
( ! [V__Period,V__Option] :
   ((s__instance(V__Period,s__TimeInterval) &
       s__instance(V__Option,s__Agreement))
     =>
     s__property(V__Option,s__ConventionalOption) =>
     ( ? [V__Number] :
       ((s__instance(V__Number,s__RealNumber) &
           (s__agreementPeriod(V__Option,V__Period)
           &
           s__duration(V__Period,s__MeasureFn(V__Number,s__MonthDuration))
         &
         s__lessThan(V__Number,n__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