ServiceContract |
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 14194-14195 | |
(subAttribute ServiceContract Contract) | Mid-level-ontology.kif 14193-14193 | ServiceContract e' um sub-atributo de Contract |
appearance as argument number 2 |
(subAttribute Employment ServiceContract) | FinancialOntology.kif 3256-3256 | Employment e' um sub-atributo de ServiceContract |
(subAttribute FinancialOrder ServiceContract) | FinancialOntology.kif 1945-1945 | FinancialOrder e' um sub-atributo de ServiceContract |
(subAttribute Warranty ServiceContract) | Mid-level-ontology.kif 14208-14208 | Warranty e' um sub-atributo de ServiceContract |
(termFormat ChineseLanguage ServiceContract "服务合同") | domainEnglishFormat.kif 52239-52239 | |
(termFormat ChineseTraditionalLanguage ServiceContract "服務合同") | domainEnglishFormat.kif 52238-52238 | |
(termFormat EnglishLanguage ServiceContract "service contract") | domainEnglishFormat.kif 52237-52237 |
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 14197-14206 |
|
consequent |
(=> (attribute ?Broker Broker) (exists (?Contract) (and (instance ?Contract ServiceContract) (partyToAgreement ?Broker ?Contract)))) |
FinancialOntology.kif 2058-2063 |
|
(=> (instance ?Account FinancialAccount) (and (property ?Account FinancialContract) (property ?Account ServiceContract))) |
FinancialOntology.kif 63-67 |
|