agreementPeriod - Sigma Knowledge base Browser

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 11646-11648
(domain agreementPeriod 1 Agreement)	Mid-level-ontology.kif 11644-11644	domain agreementPeriod, 1 and Agreement
(domain agreementPeriod 2 TimeInterval)	Mid-level-ontology.kif 11645-11645	domain agreementPeriod, 2 and TimeInterval
(instance agreementPeriod BinaryPredicate)	Mid-level-ontology.kif 11643-11643	instance agreementPeriod 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 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	agreementPeriod FinancialAccount and TimeInterval finishes Day and TimeInterval maturityDate FinancialAccount and Day
(<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount))	FinancialOntology.kif 3762-3768	TimeInterval instance Loan and Loan agreementPeriod Loan and TimeInterval interestEarned Loan, Interest and TimeInterval loanInterest Loan and Interest
(=> (and (agreementPeriod ?AGREEMENT ?DURATION) (agreementEffectiveDate ?AGREEMENT ?STARTDATE)) (holdsDuring (TimePeriodFn ?STARTDATE ?DURATION) (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 11650-11655	agreementPeriod Agreement and TimeInterval agreementEffectiveDate Agreement and TimePoint holdsDuring TimePeriodFn TimePoint and TimeInterval and property Agreement and ActiveAgreement
(=> (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	attribute Agreement and FOKOrder agreementPeriod Agreement and TimeInterval Process TimeInterval instance Process and FillingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval starts TimeInterval and TimeInterval Process TimeInterval instance Process and CancellingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval starts TimeInterval and TimeInterval
(=> (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	attribute Agreement and GTCOrder agreementPeriod Agreement and TimeInterval Process instance Process and FillingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval overlapsTemporally TimeInterval and TimeInterval Process instance Process and CancellingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval finishes TimeInterval and TimeInterval
(=> (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	attribute Agreement and IOCOrder agreementPeriod Agreement and TimeInterval Process TimeInterval instance Process and FillingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval starts TimeInterval and TimeInterval Process TimeInterval instance Process and CancellingAnOrder patient Process and Agreement equal WhenFn Process and TimeInterval starts TimeInterval and TimeInterval
(=> (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	borrower Loan and CognitiveAgent lender Loan and CognitiveAgent agreementPeriod Loan and TimeInterval interestEarned Loan, Interest and TimeInterval FinancialTransaction origin FinancialTransaction and CognitiveAgent transactionAmount FinancialTransaction and Interest destination FinancialTransaction and CognitiveAgent
(=> (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	instance FinancialAccount and CreditAccount accountHolder FinancialAccount and CognitiveAgent principalAmount FinancialAccount and CurrencyMeasure agreementPeriod FinancialAccount and TimeInterval interestEarned FinancialAccount, Interest and TimeInterval equal Quantity and AdditionFn CurrencyMeasure and Interest holdsObligation KappaFn SymbolicString and transactionAmount SymbolicString and Quantity and CognitiveAgent
(=> (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	instance Loan and Loan borrower Loan and CognitiveAgent principalAmount Loan and CurrencyMeasure agreementPeriod Loan and TimeInterval interestEarned Loan, Interest and TimeInterval equal Quantity and AdditionFn CurrencyMeasure and Interest holdsObligation KappaFn SymbolicString and transactionAmount SymbolicString and Quantity and CognitiveAgent
(=> (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	instance FinancialAsset and ZeroCouponBond maturityDate AccountFn FinancialAsset and Day possesses FinancialAssetHolder and FinancialAsset principalAmount AccountFn FinancialAsset and CurrencyMeasure agreementPeriod AccountFn FinancialAsset and TimeInterval interestEarned AccountFn FinancialAsset, Interest and TimeInterval equal CurrencyMeasure and AdditionFn CurrencyMeasure and Interest FinancialTransaction instance FinancialTransaction and Payment destination FinancialTransaction and FinancialAssetHolder origin FinancialTransaction and AccountFn FinancialAsset transactionAmount FinancialTransaction and CurrencyMeasure
(=> (and (instance ?Loan BankTermLoan) (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn ?Duration YearDuration))) (greaterThanOrEqualTo ?Duration 1))	FinancialOntology.kif 1438-1443	instance Agreement and BankTermLoan agreementPeriod Agreement and TimeInterval duration TimeInterval and MeasureFn RealNumber and YearDuration greaterThanOrEqualTo RealNumber and 1
(=> (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	instance FinancialAccount and InterestOnlyLoan agreementPeriod FinancialAccount and TimeInterval principalAmount FinancialAccount and CurrencyMeasure interestEarned FinancialAccount, Interest and TimeInterval amountDue FinancialAccount, CurrencyMeasure and EndFn TimeInterval amountDue FinancialAccount, Interest and TimeInterval before EndFn TimeInterval and EndFn TimeInterval
(=> (and (loanFeeAmount ?Loan ?Amount) (agreementPeriod ?Loan ?Period)) (interestEarned ?Loan ?Amount ?Period))	FinancialOntology.kif 4005-4009	loanFeeAmount Loan and Interest agreementPeriod Loan and TimeInterval interestEarned Loan, Interest and TimeInterval

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	instance Process and OpeningAnAccount eventLocated Process and FinancialOrganization instance FinancialOrganization and FinancialOrganization agent Process and CognitiveAgent equal WhenFn Process and ProcessTime FinancialAccount FinancialAccountPeriod agreementPeriod FinancialAccount and FinancialAccountPeriod meetsTemporally ProcessTime and FinancialAccountPeriod instance FinancialAccount and FinancialAccount accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and CognitiveAgent
(=> (attribute ?Order DayOrder) (and (agreementPeriod ?Order ?Period) (duration ?Period (MeasureFn 1 DayDuration))))	FinancialOntology.kif 2861-2865	attribute Agreement and DayOrder agreementPeriod Agreement and TimeInterval duration TimeInterval and MeasureFn 1 and DayDuration
(=> (instance ?Loan DayLoan) (and (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn 1 DayDuration))))	FinancialOntology.kif 1521-1525	instance Agreement and DayLoan agreementPeriod Agreement and TimeInterval duration TimeInterval and MeasureFn 1 and DayDuration
(=> (property ?Option ConventionalOption) (exists (?Number) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 39))))	FinancialOntology.kif 2496-2502	property Agreement and ConventionalOption RealNumber agreementPeriod Agreement and TimeInterval duration TimeInterval and MeasureFn RealNumber and MonthDuration lessThan RealNumber and 39
(=> (property ?Option ConventionalOption) (exists (?Number) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 9))))	FinancialOntology.kif 2480-2486	property Agreement and ConventionalOption RealNumber agreementPeriod Agreement and TimeInterval duration TimeInterval and MeasureFn RealNumber and MonthDuration lessThan RealNumber and 9

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