TreeView Knowledge Base Browser - PrivateOrganization

appearance as argument number 1

(subclass PrivateOrganization Organization)	Mid-level-ontology.kif 7857-7857	Private organization is a subclass of organization
(documentation PrivateOrganization EnglishLanguage "A PrivateOrganization is an organization owned by private groups, usually as a means of establishment for profit or non profit, rather than being owned by the government.[Wikipedia]")	Mid-level-ontology.kif 7858-7860	Private organization is a subclass of organization

appearance as argument number 2

antecedent

(=>
    (instance ?P PrivateOrganization)
    (not
        (exists (?G)
            (and
                (instance ?G Government)
                (possesses ?G ?P)))))

If X is an instance of Private organization, then there doesn't exist Y such that Y is an instance of government and Y possesses X