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 11616-11618
(domain agreementPeriod 1 Agreement)	Mid-level-ontology.kif 11614-11614	agreementPeriod の数値 1 引数は Agreement の instance では %n
(domain agreementPeriod 2 TimeInterval)	Mid-level-ontology.kif 11615-11615	agreementPeriod の数値 2 引数は時間間隔の instance では %n
(instance agreementPeriod BinaryPredicate)	Mid-level-ontology.kif 11613-11613	agreementPeriod は 2進述語の instance では %n

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 ChineseLanguage, agreementPeriod and "协议期限"
(termFormat ChineseTraditionalLanguage agreementPeriod "協議期限")	domainEnglishFormat.kif 5928-5928	termFormat ChineseTraditionalLanguage, agreementPeriod and "協議期限"
(termFormat EnglishLanguage agreementPeriod "agreement period")	domainEnglishFormat.kif 5927-5927	termFormat EnglishLanguage, agreementPeriod and "agreement period"

antecedent

(<=> (and (agreementPeriod ?Account ?Period) (finishes ?End ?Period)) (maturityDate ?Account ?End))	FinancialOntology.kif 602-606	agreementPeriod FinancialAccount and 時間間隔日は時間間隔を finishes %n{ない} maturityDate FinancialAccount and 日
(<=> (exists (?Period) (and (instance ?Loan Loan) (agreementPeriod ?Loan ?Period) (interestEarned ?Loan ?Amount ?Period))) (loanInterest ?Loan ?Amount))	FinancialOntology.kif 3755-3761	時間間隔 Loan は Loan の instance では %n 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 11620-11625	agreementPeriod Agreement and 時間間隔 agreementEffectiveDate Agreement and 時点 Agreement には attribute ActiveAgreement %n{ない} は TimePeriodFn 時点 and 時間間隔の during holds %n{ない}
(=> (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 1203-1213	borrower Loan and 認識エージェント lender Loan and 認識エージェント agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔金融取引金融取引は認識エージェントから originates %n{ない} transactionAmount 金融取引 and Interest 金融取引は認識エージェントに ends %n{ない}
(=> (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 1166-1175	FinancialAccount は CreditAccount の instance では %n accountHolder FinancialAccount and 認識エージェント principalAmount FinancialAccount and 通貨測定 agreementPeriod FinancialAccount and 時間間隔 interestEarned FinancialAccount, Interest and 時間間隔量は ( 通貨測定 + Interest) と equal では %n 認識エージェントはタイプエンティティー class のタスクを実行する obliged %n
(=> (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 1215-1224	Loan は Loan の instance では %n borrower Loan and 認識エージェント principalAmount Loan and 通貨測定 agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔量は ( 通貨測定 + Interest) と equal では %n 認識エージェントはタイプエンティティー class のタスクを実行する obliged %n
(=> (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 (CurrencyFn ?BondAccount)) (transactionAmount ?Payment ?Total))))	FinancialOntology.kif 2264-2278	FinancialAsset は ZeroCouponBond の instance では %n maturityDate AccountFn FinancialAsset and 日 FinancialAssetHolder は FinancialAsset を possesses %n{ない} principalAmount AccountFn FinancialAsset and 通貨測定 agreementPeriod AccountFn FinancialAsset and 時間間隔 interestEarned AccountFn FinancialAsset, Interest and 時間間隔通貨測定は ( 通貨測定 + Interest) と equal では %n 金融取引金融取引は Payment の instance では %n 金融取引は FinancialAssetHolder に ends %n{ない} 金融取引は CurrencyFn FinancialAssetAccount から originates %n{ない} transactionAmount 金融取引 and 通貨測定
(=> (and (instance ?Loan BankTermLoan) (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn ?Duration YearDuration))) (greaterThanOrEqualTo ?Duration 1))	FinancialOntology.kif 1440-1445	Agreement は BankTermLoan の instance では %n agreementPeriod Agreement and 時間間隔時間間隔の duration は実数の YearDuration(s) では %n 実数は 1 greater では　%n
(=> (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 1559-1568	FinancialAccount は InterestOnlyLoan の instance では %n agreementPeriod FinancialAccount and 時間間隔 principalAmount FinancialAccount and 通貨測定 interestEarned FinancialAccount, Interest and 時間間隔 amountDue FinancialAccount, 通貨測定 and 時間間隔の end amountDue FinancialAccount, Interest and 時間間隔時間間隔の end は時間間隔の end の before に happens %n{ない}
(=> (and (instance ?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 2801-2817	Agreement は FOKOrder の instance では %n agreementPeriod Agreement and 時間間隔工程時間間隔工程は FillingAnOrder の instance では %n Agreement は工程の patient では %n 工程の time の existence は時間間隔と equal では %n 時間間隔は時間間隔を starts %n{ない} 工程時間間隔工程は CancellingAnOrder の instance では %n Agreement は工程の patient では %n 工程の time の existence は時間間隔と equal では %n 時間間隔は時間間隔を starts %n{ない}
(=> (and (instance ?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 2837-2853	Agreement は GTCOrder の instance では %n agreementPeriod Agreement and 時間間隔工程工程は FillingAnOrder の instance では %n Agreement は工程の patient では %n 工程の time の existence は時間間隔と equal では %n 時間間隔は時間間隔と overlaps %n{dない} 工程工程は CancellingAnOrder の instance では %n Agreement は工程の patient では %n 工程の time の existence は時間間隔と equal では %n 時間間隔は時間間隔を finishes %n{ない}
(=> (and (instance ?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 2774-2790	Agreement は IOCOrder の instance では %n agreementPeriod Agreement and 時間間隔工程時間間隔工程は FillingAnOrder の instance では %n Agreement は工程の patient では %n 工程の time の existence は時間間隔と equal では %n 時間間隔は時間間隔を starts %n{ない} 工程時間間隔工程は CancellingAnOrder の instance では %n Agreement は工程の patient では %n 工程の time の existence は時間間隔と equal では %n 時間間隔は時間間隔を starts %n{ない}
(=> (and (loanFeeAmount ?Loan ?Amount) (agreementPeriod ?Loan ?Period)) (interestEarned ?Loan ?Amount ?Period))	FinancialOntology.kif 3999-4003	loanFeeAmount Loan and Interest agreementPeriod Loan and 時間間隔 interestEarned Loan, Interest and 時間間隔

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	工程は OpeningAnAccount の instance では %n eventLocated 工程 and FinancialOrganization FinancialOrganization は FinancialOrganization の instance では %n 認識エージェントは工程の agent では %n 工程の time の existence は工程Time と equal では %n FinancialAccount FinancialAccountPeriod agreementPeriod FinancialAccount and FinancialAccountPeriod 工程Time は FinancialAccountPeriod に meets %n{ない} FinancialAccount は FinancialAccount の instance では %n accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and 認識エージェント
(=> (instance ?Loan DayLoan) (and (agreementPeriod ?Loan ?Period) (duration ?Period (MeasureFn 1 DayDuration))))	FinancialOntology.kif 1523-1527	Agreement は DayLoan の instance では %n agreementPeriod Agreement and 時間間隔時間間隔の duration は 1 の DayDuration(s) では %n
(=> (instance ?Order DayOrder) (and (agreementPeriod ?Order ?Period) (duration ?Period (MeasureFn 1 DayDuration))))	FinancialOntology.kif 2860-2864	Agreement は DayOrder の instance では %n agreementPeriod Agreement and 時間間隔時間間隔の duration は 1 の DayDuration(s) では %n
(=> (property ?Option ConventionalOption) (exists (?Number) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 39))))	FinancialOntology.kif 2497-2503	Agreement には attribute ConventionalOption %n{ない} 実数 agreementPeriod Agreement and 時間間隔時間間隔の duration は実数の MonthDuration(s) では %n 実数は 39 より less では %n
(=> (property ?Option ConventionalOption) (exists (?Number) (and (agreementPeriod ?Option ?Period) (duration ?Period (MeasureFn ?Number MonthDuration)) (lessThan ?Number 9))))	FinancialOntology.kif 2481-2487	Agreement には attribute ConventionalOption %n{ない} 実数 agreementPeriod Agreement and 時間間隔時間間隔の duration は実数の MonthDuration(s) では %n 実数は 9 より less では %n

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