TreeView Knowledge Base Browser - agreementPeriod

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13451-13453
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13449-13449	The number 1 argument of agreement period is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13450-13450	The number 2 argument of agreement period is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13448-13448	agreement period is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 96-96
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 95-95
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 94-94
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5931-5931
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5930-5930
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5929-5929

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 602-606	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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3834-3840	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 13455-13460	If a time interval is an agreement period of an agreement and a time point is an agreement effective date of the agreement, then the agreement the attribute active agreement holds during a time that starts at the time point and lasts for the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2842-2858	If FOK order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to the third time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2878-2894	If GTC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exists a process such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to another time interval and the time interval overlaps the other time interval or there exists another process such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to a third time interval and the third time interval finishes the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2815-2831	If IOC order is an attribute of an agreement and a time interval is an agreement period of the agreement, then there exist a process and another time interval such that the process is an instance of filling an order and the agreement is a patient of the process and the time of existence of the process is equal to the other time interval and the other time interval starts the time interval or there exist another process and a third time interval such that the other process is an instance of cancelling an order and the agreement is a patient of the other process and the time of existence of the other process is equal to the third time interval and the third time interval starts the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1215-1225	If a loan is the borrower of a cognitive agent and another cognitive agent lends the loan and a time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval, then there exists a financial transaction such that the financial transaction originates at the cognitive agent and the interest is a transaction amount of the financial transaction and the financial transaction ends up at the other cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1178-1187	If a financial account is an instance of credit account and a cognitive agent holds account the financial account and a real number is a principal amount of the financial account and a time interval is an agreement period of the financial account and the financial account is interest earned an interest for the time interval and another real number is equal to (the real number and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1227-1236	If a loan is an instance of loan and the loan is the borrower of a cognitive agent and a real number is a principal amount of the loan and a time interval is an agreement period of the loan and the loan is interest earned an interest for the time interval and another real number is equal to (the real number and the interest), then the cognitive agent is obliged to perform tasks of type the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2303-2317	If a financial asset is an instance of zero coupon bond and a day is a maturity date of the account of the financial asset and the financial assetHolder possesses the financial asset and a real number is a principal amount of the account of the financial asset and a time interval is an agreement period of the account of the financial asset and the account of the financial asset is interest earned an interest for the time interval and another real number is equal to (the real number and the interest), then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the financial assetHolder and the financial transaction originates at the account of the financial asset and the other real number is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1451-1456	If an agreement is an instance of bank term loan and a time interval is an agreement period of the agreement and duration of the time interval is a real number year duration(s), then the real number is greater than or equal to 1
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1570-1579	If a financial account is an instance of interest only loan and a time interval is an agreement period of the financial account and a currency measure is a principal amount of the financial account and the financial account is interest earned an interest for the time interval, then the financial account amount due the currency measure for the end of the time interval and the financial account amount due the interest for another time interval and the end of the other time interval happens before the end of the time interval
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4077-4081	If an interest is a loan fee amount of a loan and a time interval is an agreement period of the loan, then the loan is interest earned the interest for the time interval

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 293-306	If a process is an instance of opening an account and the process is located at 2 and a financial organization is an instance of financial organization and a cognitive agent is an agent of the process and the time of existence of the process is equal to the processTime, then there exist a financial account and the financial accountPeriod such that the financial accountPeriod is an agreement period of the financial account and the processTime meets the financial accountPeriod and the financial account is an instance of financial account and the financial account is held by the financial organization and the cognitive agent holds account the financial account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2901-2905	If day order is an attribute of an agreement, then a time interval is an agreement period of the agreement and duration of the time interval is 1 day duration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1534-1538	If an agreement is an instance of day loan, then a time interval is an agreement period of the agreement and duration of the time interval is 1 day duration(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2536-2542	If an agreement the attribute conventional option, then there exists a real number such that a time interval is an agreement period of the agreement and duration of the time interval is the real number month duration(s) and the real number is less than 39
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2520-2526	If an agreement the attribute conventional option, then there exists a real number such that a time interval is an agreement period of the agreement and duration of the time interval is the real number month duration(s) and the real number is less than 9

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