Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OrganizationalBoard(organizational board) |  | Curia, NAC, North_Atlantic_Council, Sanhedrin, administration, board, board_of_directors, brass, council, county_council, directorate, establishment, governance, governing_body, organisation, organization, panchayat, panchayet, punchayet, top_brass |
| 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 |
|
|
| antecedent |
|
|
| (=> (instance ?BOARD OrganizationalBoard) (exists (?ORG ?MANAGE) (and (subOrganization ?BOARD ?ORG) (instance ?MANAGE Managing) (agent ?MANAGE ?BOARD) (patient ?MANAGE ?ORG)))) |
Mid-level-ontology.kif 9872-9879 | 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 |
|