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	The number 1 argument of organization service type is an instance of organization
(domainSubclass organizationServiceType 2 IntentionalProcess)	Economy.kif 1786-1786	The number 2 argument of organization service type is a subclass of intentional process
(instance organizationServiceType BinaryPredicate)	Economy.kif 1784-1784	organization service type is an instance of binary predicate

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 42601-42601
(termFormat ChineseTraditionalLanguage organizationServiceType "組織服務類型")	domainEnglishFormat.kif 42600-42600
(termFormat EnglishLanguage organizationServiceType "organization service type")	domainEnglishFormat.kif 42599-42599

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	If a kind of intentional process is an industry service type of an industry attribute and the industry attribute is an instance of industry attribute and an organization is an instance of organization and the industry attribute is an attribute of the organization, then a kind of intentional process is an organization service type of the organization
(=> (and (organizationServiceType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationServiceType ?BUSINESS ?GENUS))	Economy.kif 1792-1796	If a kind of intentional process is an organization service type of an organization and a kind of intentional process is a subclass of another kind of intentional process, then another kind of intentional process is an organization service type of the organization