Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ServiceContract
ServiceContract(service contract)indenture, service_contract

appearance as argument number 1
-------------------------


(subclass ServiceContract Contract) Mid-level-ontology.kif 15798-15798 Service contract is a subclass of contract
(documentation ServiceContract EnglishLanguage "A Contract where an AutonomousAgent agrees to perform a service for another AutonomousAgent (usually for a price).") Mid-level-ontology.kif 15799-15800 Service contract is a subclass of contract

appearance as argument number 2
-------------------------


(subclass Warranty ServiceContract) Mid-level-ontology.kif 15813-15813 Warranty is a subclass of service contract
(subclass FinancialOrder ServiceContract) FinancialOntology.kif 1993-1993 Financial order is a subclass of service contract
(subAttribute Employment ServiceContract) FinancialOntology.kif 3313-3313 Employment is a subattribute of service contract
(termFormat EnglishLanguage ServiceContract "service contract") domainEnglishFormat.kif 52234-52234 Employment is a subattribute of service contract
(termFormat ChineseTraditionalLanguage ServiceContract "服務合同") domainEnglishFormat.kif 52235-52235 Employment is a subattribute of service contract
(termFormat ChineseLanguage ServiceContract "服务合同") domainEnglishFormat.kif 52236-52236 Employment is a subattribute of service contract

antecedent
-------------------------


(=>
    (instance ?C ServiceContract)
    (exists (?SP ?SERVICE ?CUST)
        (and
            (instance ?SP ServiceProcess)
            (realization ?SP ?C)
            (serviceProvider ?SP ?SERVICE)
            (serviceRecipient ?SP ?CUST)
            (partyToAgreement ?C ?SERVICE)
            (partyToAgreement ?C ?CUST))))		 Mid-level-ontology.kif 15802-15811 If X is an instance of service contract, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of service (3) Y expresses the content of X (4) Z provides a service during Y (5) W receives a service during Y (6) Z is a party to agreement of X (7) W is a party to agreement of X

consequent
-------------------------


(=>
    (instance ?Account FinancialAccount)
    (and
        (instance ?Account FinancialContract)
        (instance ?Account ServiceContract)))		 FinancialOntology.kif 65-69 If X is an instance of financial account, then X is an instance of financial contract and X is an instance of service contract
(=>
    (attribute ?Broker Broker)
    (exists (?Contract)
        (and
            (instance ?Contract ServiceContract)
            (partyToAgreement ?Broker ?Contract))))		 FinancialOntology.kif 2105-2110 If broker is an attribute of X, then there exists Y such that Y is an instance of service contract and Y is a party to agreement of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners