OpenService - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage OpenService "开放服务")	domainEnglishFormat.kif 42253-42253
(termFormat ChineseTraditionalLanguage OpenService "開放服務")	domainEnglishFormat.kif 42252-42252
(termFormat EnglishLanguage OpenService "open service")	domainEnglishFormat.kif 42251-42251

consequent

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

FinancialOntology.kif 3973-3980