TreeView Knowledge Base Browser - organizationServiceType

appearance as argument number 1

(documentation organizationServiceType EnglishLanguage "(organizationServiceType ?BUSINESS ?TYPE) means that the Organization ?BUSINESS provides services of the kind ?TYPE.")	Economy.kif 1663-1665
(domain organizationServiceType 1 Organization)	Economy.kif 1660-1660
(domainSubclass organizationServiceType 2 IntentionalProcess)	Economy.kif 1661-1661
(instance organizationServiceType BinaryPredicate)	Economy.kif 1659-1659

appearance as argument number 2

(format ChineseLanguage organizationServiceType "%2 %n 是 %1 的 organization 服务类别类")	domainEnglishFormat.kif 1867-1867
(format ChineseTraditionalLanguage organizationServiceType "%2 %n 是 %1 的 organization 服務類別類")	domainEnglishFormat.kif 1866-1866
(format EnglishLanguage organizationServiceType "%2 is %n an organization service type of %1")	domainEnglishFormat.kif 1865-1865
(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 1667-1671

consequent

(=> (and (industryServiceType ?INDUSTRY ?TYPE) (instance ?INDUSTRY IndustryAttribute) (instance ?BUSINESS Organization) (attribute ?BUSINESS ?INDUSTRY)) (organizationServiceType ?BUSINESS ?TYPE))	Economy.kif 1673-1679
(=> (and (organizationServiceType ?BUSINESS ?TYPE) (subclass ?TYPE ?GENUS)) (organizationServiceType ?BUSINESS ?GENUS))	Economy.kif 1667-1671