| ServiceContract(service contract) | | indenture, service_contract |
| appearance as argument number 1 |
|
|
| (documentation ServiceContract EnglishLanguage "A Contract where an AutonomousAgent agrees to perform a service for another AutonomousAgent (usually for a price).") | Mid-level-ontology.kif 15123-15124 | |
| (subAttribute ServiceContract Contract) | Mid-level-ontology.kif 15122-15122 | Service contract is a subattribute of contract |
| appearance as argument number 2 |
|
|
| (subAttribute Employment ServiceContract) | FinancialOntology.kif 3270-3270 | Employment is a subattribute of service contract |
| (subAttribute FinancialOrder ServiceContract) | FinancialOntology.kif 1959-1959 | Financial order is a subattribute of service contract |
| (subAttribute Warranty ServiceContract) | Mid-level-ontology.kif 15137-15137 | Warranty is a subattribute of service contract |
| (termFormat ChineseLanguage ServiceContract "服务合同") | domainEnglishFormat.kif 52272-52272 | Warranty is a subattribute of service contract |
| (termFormat ChineseTraditionalLanguage ServiceContract "服務合同") | domainEnglishFormat.kif 52271-52271 | Warranty is a subattribute of service contract |
| (termFormat EnglishLanguage ServiceContract "service contract") | domainEnglishFormat.kif 52270-52270 | Warranty is a subattribute of service contract |
| antecedent |
|
|
| (=> (property ?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 15126-15135 |
|
| consequent |
|
|
| (=> (attribute ?Broker Broker) (exists (?Contract) (and (instance ?Contract ServiceContract) (partyToAgreement ?Broker ?Contract)))) |
FinancialOntology.kif 2072-2077 |
|
| (=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract))) |
FinancialOntology.kif 63-67 |
|
|
|
|