TreeView Knowledge Base Browser - holdsObligation

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

holdsObligation

Sigma KEE - holdsObligation

holdsObligation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3898-3899
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17471-17473
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17468-17468	The number 1 argument of holds obligation is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17469-17469	The number 2 argument of holds obligation is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17467-17467	holds obligation is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17466-17466	holds obligation is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17470-17470	holds obligation is internally related to holds right

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 213-213
No TPTP formula. May not be expressible in strict first order.	english_format.kif 214-214
No TPTP formula. May not be expressible in strict first order.	french_format.kif 126-126
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 130-130
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1955-1955
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 78-78
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 275-275
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 170-170
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 145-145
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 131-131
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 266-266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28359-28359
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 214-214
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28358-28358
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28357-28357
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 88-88
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 267-267

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 714-719	If a time point is an agreement effective date of an agreement and the agreement obligates a cognitive agent to perform task of the type a formula and a time position is an instance of the time point, then the cognitive agent is obliged to perform tasks of type the formula holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	If a financial account amount due a currency measure for a time position and a cognitive agent holds account the financial account, 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 2008-2029	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of unit of currency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement 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 2031-2052	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for selling for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and an agent bids another real number the unit of measure(s) for the security and the unit of measure is an instance of unit of currency and the other real number is greater than or equal to the real number, then the agreement 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 1981-1990	If market order is an attribute of a financial transaction and broker is an attribute of an agreement and the agreement is a party to agreement of the financial transaction and the financial transaction is order for another kind of financial transaction for a security, then the agreement 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 1224-1233	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 1273-1282	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.	Medicine.kif 44-59	If a process is an instance of bleeding and an entity is an instance of death and a formula is an instance of human and an agent is an instance of human and the agent experiences the process and the formula is near to the agent and the statement the process causes the entity has the modal force of likely, then there exists another entity such that the other entity is an instance of attaching and the formula is an agent of the other entity and the other entity ends up at the agent is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 774-783	If a proposition is an instance of the constitution of a geopolitical area and the geopolitical area is an instance of nation and a government is equal to the government of the geopolitical area and the time of existence of the government is an instance of a kind of time position and a kind of time position is an agreement effective during of the proposition and another proposition is a sub-proposition of the proposition and a formula contains information the other proposition, then the government is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1411-1421	If a loan is an instance of balloon loan and a day is a maturity date of the loan and a currency measure is a total balance of the loan and the loan is the borrower of a cognitive agent, 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 1428-1443	If a loan is an instance of callable loan and a cognitive agent lends the loan and the loan is the borrower of another cognitive agent and a currency measure is a total balance of the loan and a process is an instance of call and the cognitive agent is an agent of the process and the loan is a patient of the process, then the other 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.	Mid-level-ontology.kif 8525-8535	If an organization is an instance of security unit and the organization is a part of the organization another organization, then the organization is obliged to perform tasks of type there exists an entity such that the entity is an instance of maintaining and the organization is an agent of the entity and the other organization is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2687-2703	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval and the financial instrument is an underlier of the agreement, 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 2641-2659	If an agreement the attribute option and a cognitive agent sells the agreement and a currency measure is a strike price of the agreement and the agreement has expiration a time interval and a financial instrument is an underlier of the agreement and the financial instrument is price the currency measure for an agent and the agent is an instance of time interval and the end of the agent happens before the beginning of the time interval, 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.	Merge.kif 17485-17487	If an entity obligates a cognitive agent to perform task of the type a formula, then the cognitive agent is obliged to perform tasks of type the formula

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