Contract concept from the SUMO knowledge base

Next Promise: NakedPromise Up: Promise

Kinds of Contract :

PurchaseContract (2 facts) - A Contract between two Agents in which one Agent agrees to render the other some good or service in exchange for currency
ServiceContract (1 kind, 4 facts) - A Contract where an Agent agrees to perform a service for another Agent (usually for a price)

Contract	*documentation* A Promise where something is promised in return, i.e. a reciprocal promise
Contract	is a kind of Promise
Proposition	has axiom (=> (instance ?SENTENCE Sentence) (exists (?PROP) (and (instance ?PROP Proposition) (containsInformation ?SENTENCE ?PROP))))
	*is second domain* of** containsInformation
	*is second domain* of** realization
Abstract	*is disjoint* from** Physical
Entity	*is first domain* of** documentation
	*is first domain* of** element
	*is first domain* of** equal
	*is first domain* of** IdentityFn
	*is first domain* of** instance
	*is first domain* of** relatedExternalConcept
	*is first domain* of** relatedInternalConcept