Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganizationalBoard
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
-------------------------


s__documentation(s__OrganizationalBoard,s__EnglishLanguage,'"Part of an Organization that is responsible for managing the Organization."')

Mid-level-ontology.kif 7778-7779
s__subclass(s__OrganizationalBoard,s__Organization)

s__instance(s__Organization,s__SetOrClass)

s__instance(s__OrganizationalBoard,s__SetOrClass)

Mid-level-ontology.kif 7777-7777 Organizational board is a subclass of organization

appearance as argument number 2
-------------------------


s__termFormat(s__ChineseLanguage,s__OrganizationalBoard,'"组织委员会"')

domainEnglishFormat.kif 42463-42463
s__termFormat(s__ChineseTraditionalLanguage,s__OrganizationalBoard,'"組織委員會"')

domainEnglishFormat.kif 42462-42462
s__termFormat(s__EnglishLanguage,s__OrganizationalBoard,'"organizational board"')

domainEnglishFormat.kif 42461-42461

antecedent
-------------------------


( ! [V__BOARD] :
   ((s__instance(V__BOARD,s__OrganizationalBoard) =>
       (( ? [V__ORG, V__MANAGE] :
           ((s__instance(V__ORG,s__Organization) &
               (s__subOrganization(V__BOARD,V__ORG)
               &
               s__instance(V__MANAGE,s__Managing) &
               s__agent(V__MANAGE,V__BOARD)
             &
             s__patient(V__MANAGE,V__ORG)))))))
)
)

Mid-level-ontology.kif 7781-7788


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners