SUMO   View all facts   Glossary   Help
Entity > Abstract > Proposition > NormativeProposition > Promise > Contract > ServiceContract
Next Contract: PurchaseContract    Up: Contract

ServiceContract comparison table
Subject documentation be disjoint from is a kind of be first domain of be second domain of have axiom
WarrantyA 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 WarrantyPhysicalServiceContractrelatedInternalConceptrealization
(=>
     (instance ?SENTENCE Sentence)
     (exists (?PROP)
         (and
             (instance ?PROP Proposition)
             (containsInformation ?SENTENCE ?PROP))))

Next Contract: PurchaseContract    Up: Contract