Contract - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Contract

Contract(contract)

T-bill, Treasury, Treasury_bill, Treasury_bond, Treasury_note, Treasury_obligations, acquisition_agreement, adhesion_contract, aleatory_contract, articles_of_agreement, bilateral_contract, charter, collective_agreement, concession, conditional_contract, consumer_credit, contract, contract_of_adhesion, contract_under_seal, contractual, contractually, convention, cost-plus_contract, credit, debt, deferred_payment, distribution_agreement, employment_agreement, employment_contract, fiducial, fiduciary, franchise, futures_contract, gambling_contract, grant, hire-purchase, indenture, instrument, insured, labor_agreement, labor_contract, lease, legal_document, legal_instrument, licensing_agreement, merger_agreement, never-never, obligation, official_document, output_contract...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14134-14137
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5931-5931
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14132-14132	Contract is a subattribute of active agreement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14133-14133	Contract is a subattribute of promise

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14139-14139	Naked promise is the opposite of contract
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2300-2300	Civil affairs agreement is a subattribute of contract
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2892-2892	Early termination fee clause is a subattribute of contract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 52-52	Financial contract is a subattribute of contract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1468-1468	Loan commitment is a subattribute of contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14164-14164	Marriage contract is a subattribute of contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14177-14177	Purchase contract is a subattribute of contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14193-14193	Service contract is a subattribute of contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14215-14215	Treaty is a subattribute of contract
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16998-16998
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16997-16997
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16996-16996

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 995-1000	If a content bearing physical is an instance of contract document and the content bearing physical contains information a proposition and the proposition the attribute contract, then the proposition the attribute law
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14162	If an agreement the attribute contract and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent and a process is an instance of intentional process and the cognitive agent is an agent of the process and the process expresses the content of a proposition and the agreement is not a consistent of the proposition, then the statement there exists an entity such that the entity is an instance of legal action and the other cognitive agent is the plaintiff in the entity and the cognitive agent is the defendant in the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14141-14146	If a proposition the attribute contract, then for all a formula if the formula is a sub-proposition of the proposition, then the statement the formula has the modal force of legal

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20822-20835	If a cognitive agent has a contract to build a stationary artifact, then there exist an agreement and another cognitive agent such that the agreement the attribute contract and the agreement is a party to agreement of the other cognitive agent and the agreement is a party to agreement of the cognitive agent and the other cognitive agent obligates the cognitive agent to perform task of the type there exist an entity and the stationary artifact2 such that the entity is an instance of constructing and the cognitive agent is an agent of the entity and the stationary artifact2 is a result of the entity and the stationary artifact2 is an instance of stationary artifact
No TPTP formula. May not be expressible in strict first order.	Media.kif 979-984	If a content bearing physical is an instance of contract document, then there exists a proposition such that the content bearing physical contains information the proposition and the proposition the attribute contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7141-7143	If an organization is an insured of a proposition, then the proposition the attribute contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14122-14126	If an entity the attribute promise, then the entity the attribute contract or the entity the attribute naked promise

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