ServiceOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ServiceOrganization Organization)	Mid-level-ontology.kif 9810-9810	Service organization is a subclass of organization
(documentation ServiceOrganization EnglishLanguage "An Organization that performs a public service and is regulated by the Government.")	Mid-level-ontology.kif 9811-9812	Service organization is a subclass of organization

appearance as argument number 2

(subclass HotelOrganization ServiceOrganization)	TravelPolicies.kif 716-716	HotelOrganization is a subclass of service organization
(termFormat EnglishLanguage ServiceOrganization "service organization")	domainEnglishFormat.kif 52252-52252	HotelOrganization is a subclass of service organization
(termFormat ChineseTraditionalLanguage ServiceOrganization "服務組織")	domainEnglishFormat.kif 52253-52253	HotelOrganization is a subclass of service organization
(termFormat ChineseLanguage ServiceOrganization "服务组织")	domainEnglishFormat.kif 52254-52254	HotelOrganization is a subclass of service organization

antecedent

(=>
    (instance ?ORG ServiceOrganization)
    (exists (?PROC ?GOV)
        (and
            (instance ?PROC RegulatoryProcess)
            (patient ?PROC ?ORG)
            (agent ?PROC ?GOV)
            (instance ?GOV Government))))

If X is an instance of service organization, then there exist Y, Z such that Y is an instance of regulatory process, X is a patient of Y, Z is an agent of Y, and Z is an instance of government

consequent

(=>
    (instance ?W Welfare)
    (exists (?O)
        (and
            (instance ?O ServiceOrganization)
            (agent ?W ?O))))

If X is an instance of welfare, then there exists Y such that Y is an instance of service organization and Y is an agent of X