OpenService - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute OpenService ClosedService)	FinancialOntology.kif 3955-3955	Open service is the opposite of closed service
(documentation OpenService EnglishLanguage "The attribute which describes services that are ready to transact business.")	FinancialOntology.kif 3956-3957	Open service is the opposite of closed service
(instance OpenService ServiceAttribute)	FinancialOntology.kif 3954-3954	Open service is an instance of service attribute

appearance as argument number 2

(termFormat ChineseLanguage OpenService "开放服务")	domainEnglishFormat.kif 42260-42260
(termFormat ChineseTraditionalLanguage OpenService "開放服務")	domainEnglishFormat.kif 42259-42259
(termFormat EnglishLanguage OpenService "open service")	domainEnglishFormat.kif 42258-42258

consequent

(=>
    (and
        (instance ?Transaction FinancialTransaction)
        (destination ?Transaction ?Agent))
    (and
        (instance ?Service CommercialService)
        (agent ?Service ?Agent)
        (attribute ?Service OpenService)))

FinancialOntology.kif 3959-3966