organizationServiceType - Sigma Knowledge base Browser

appearance as argument number 1

(documentation organizationServiceType EnglishLanguage "(organizationServiceType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS provides services of the kind ?TYPE.")	Economy.kif 1788-1790
(domain organizationServiceType 1 Organization)	Economy.kif 1785-1785
(domainSubclass organizationServiceType 2 IntentionalProcess)	Economy.kif 1786-1786
(instance organizationServiceType BinaryPredicate)	Economy.kif 1784-1784

appearance as argument number 2

(format ChineseLanguage organizationServiceType "%2 %n 是 %1 的 organization 服务类别类")	domainEnglishFormat.kif 1871-1871
(format ChineseTraditionalLanguage organizationServiceType "%2 %n 是 %1 的 organization 服務類別類")	domainEnglishFormat.kif 1870-1870
(format EnglishLanguage organizationServiceType "%2 is %n an organization service type of %1")	domainEnglishFormat.kif 1869-1869
(termFormat ChineseLanguage organizationServiceType "组织服务类型")	domainEnglishFormat.kif 42572-42572
(termFormat ChineseTraditionalLanguage organizationServiceType "組織服務類型")	domainEnglishFormat.kif 42571-42571
(termFormat EnglishLanguage organizationServiceType "organization service type")	domainEnglishFormat.kif 42570-42570

antecedent

(=>
    (and
        (organizationServiceType ?BUSINESS ?TYPE)
        (subclass ?TYPE ?GENUS))
    (organizationServiceType ?BUSINESS ?GENUS))

Economy.kif 1792-1796

consequent

(=> (and (industryServiceType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationServiceType ?BUSINESS ?TYPE))	Economy.kif 1798-1804
(=> (and (organizationServiceType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationServiceType ?BUSINESS ?GENUS))	Economy.kif 1792-1796