TreeView Knowledge Base Browser - OrganizationalBoard

appearance as argument number 1

(subclass OrganizationalBoard Organization)	Mid-level-ontology.kif 9868-9868	Organizational board is a subclass of organization
(documentation OrganizationalBoard EnglishLanguage "Part of an Organization that is responsible for managing the Organization.")	Mid-level-ontology.kif 9869-9870	Organizational board is a subclass of organization

appearance as argument number 2

(termFormat EnglishLanguage OrganizationalBoard "organizational board")	domainEnglishFormat.kif 42479-42479
(termFormat ChineseTraditionalLanguage OrganizationalBoard "組織委員會")	domainEnglishFormat.kif 42480-42480
(termFormat ChineseLanguage OrganizationalBoard "组织委员会")	domainEnglishFormat.kif 42481-42481

antecedent

(=>
    (instance ?BOARD OrganizationalBoard)
    (exists (?ORG ?MANAGE)
        (and
            (subOrganization ?BOARD ?ORG)
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?BOARD)
            (patient ?MANAGE ?ORG))))

If X is an instance of organizational board, then there exist Y, Z such that X is a part of the organization Y, Z is an instance of managing, X is an agent of Z, and Y is a patient of Z