SUMO   View all facts   Glossary   Help

Entity > Abstract > Proposition > NormativeProposition > Promise > Contract > ServiceContract

ServiceContract
subject			fact

ServiceContract	documentation A Contract where an Agent agrees to perform a service for another Agent (usually for a price)
	is a kind of Contract
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

Kinds of ServiceContract :

• Warranty (2 facts) - A Contract that states the cirumstances under which defects in the product will be corrected for no charge. A Warranty is usually limited to a length of time that is specified in the Warranty itself. A Warranty also includes information about what is not covered and actions that invalidate the Warranty