(declOntology "isa" '() ; super ontologies
  '(
    (declRelation "isa-parent") 
    (declRelation "isa-ancestor"  :base isa-parent   :transitive )
    (declRelation "isa"           :base isa-ancestor :reflexive )
    (declRelation "isa-child"     :base isa-parent   :inverse :assignable)
    (declRelation "isa-decendant" :base isa-child    :transitive )
    (declRelation "is-equal"	  :transitive :reflexive :symmetric :assignable)
    (declType "TOP")
  )
)


(declOntology "actions" ; 
  '("isa") ; super ontologies
  '(
    ; ACTIONS
    (declMaplet isa-parent "action" TOP)
    (declMaplet isa-parent   "LAC_closing" action)
    (declMaplet isa-parent   "act" action)
    (declMaplet isa-parent   "chat_message" action)
;    (declMaplet isa-parent "consider" action)
;    (declMaplet isa-parent "accept" consider)
;    (declMaplet isa-parent "assemble" consider)
;    (declMaplet isa-parent "conclude" consider)
;    (declMaplet isa-parent "release" consider)
;    (declMaplet isa-parent "verify" consider)
    (declMaplet isa-parent   "create" action)
    (declMaplet isa-parent     "createCD" create)
    (declMaplet isa-parent     "save-info" create)
    (declMaplet isa-parent       "put_data" save-info)
    (declMaplet isa-parent         "register" save-info)
    (declMaplet isa-parent           "advertise" register)
    (declMaplet isa-parent           "observe" register)
    (declMaplet isa-parent             "observe_membership" observe)
    (declMaplet isa-parent             "observe_messages" observe)
    (declMaplet isa-parent           "add_observer" register)
    (declMaplet isa-parent           "registerYellowPages" register)
    (declMaplet isa-parent           "register_agentType" register)
    (declMaplet isa-parent           "register_instance" register)
    (declMaplet isa-parent   "destroy" action)
    (declMaplet isa-parent     "delete-info" destroy)
    (declMaplet isa-parent       "deleteDataCD" delete-info)
    (declMaplet isa-parent       "deleteHistoryCD" delete-info)
    (declMaplet isa-parent       "unregister" delete-info)
    (declMaplet isa-parent         "remove_advertisement" unregister)
    (declMaplet isa-parent         "unregister_agentType" unregister)
    (declMaplet isa-parent         "unregister_instance" unregister)
    (declMaplet isa-parent     "deleteCD" destroy)
    (declMaplet isa-parent   "evaluate" action)
    (declMaplet isa-parent   "execute" action)
    (declMaplet isa-parent   "exit" action)
    (declMaplet isa-parent   "forward_message" action)
    (declMaplet isa-parent   "get" action)
    (declMaplet isa-parent     "get-info" get)
    (declMaplet isa-parent       "getAgents" get-info)
    (declMaplet isa-parent         "get_agents_running" getAgents)
    (declMaplet isa-parent         "get_agents_registered" getAgents)
    (declMaplet isa-parent       "getCDs" get-info)
    (declMaplet isa-parent       "getYellowPages" get-info)
    (declMaplet isa-parent       "get_acts" get-info)
    (declMaplet isa-parent       "get_data" get-info)
    (declMaplet isa-parent       "get_history" get-info)
    (declMaplet isa-parent       "get_members" get-info)
    (declMaplet isa-parent       "get_name" get-info)
    (declMaplet isa-parent       "get_ontology" get-info)
    (declMaplet isa-parent       "resolve_url" get-info)
    (declMaplet isa-parent       "search" get-info)
    (declMaplet isa-parent         "find_instance" search)
    (declMaplet isa-parent     "ping" get)
    (declMaplet isa-parent   "gui_action_request" action)
    (declMaplet isa-parent   "inform_users_list" action)
    (declMaplet isa-parent   "invite_to_cd" action)
    (declMaplet isa-parent   "membership_change" action)
    (declMaplet isa-parent     "join_cd" '(membership_change register))
    (declMaplet isa-parent     "withdraw_cd" '(membership_change unregister))
    (declMaplet isa-parent   "new_MenuItem" action)
    (declMaplet isa-parent   "perform" action)
    (declMaplet isa-parent     "method_call" perform)
    (declMaplet isa-parent     "monitor" perform)
    (declMaplet isa-parent   "performative" action)
    (declMaplet isa-parent     "ack" performative)
    (declMaplet isa-parent       "nack" ack)
    (declMaplet isa-parent     "inform-if" performative)
    (declMaplet isa-parent     "inform-ref" performative)
    (declMaplet isa-parent     "inform" performative)
    (declMaplet isa-parent       "notify" '(perform inform))
    (declMaplet isa-parent       "cancel" inform)
    (declMaplet isa-parent       "petition" inform)
    (declMaplet isa-parent         "propose" petition)
    (declMaplet isa-parent         "request" petition)
    (declMaplet isa-parent           "query-if" request)
    (declMaplet isa-parent           "query-ref" request)
;   (declMaplet isa-parent           "inform-if" request)
;   (declMaplet isa-parent           "inform-ref" request)
    (declMaplet isa-parent           "cfp" request)
    (declMaplet isa-parent           "discharge" '(destroy request))
    (declMaplet isa-parent           "request-when" request)
    (declMaplet isa-parent       "propagate" inform)
    (declMaplet isa-parent       "proxy" inform)
    (declMaplet isa-parent       "reply" '(ack inform))
    (declMaplet isa-parent         "affirmative-reply" reply)
    (declMaplet isa-parent           "agree" affirmative-reply)
    (declMaplet isa-parent             "accept-proposal" agree)
    (declMaplet isa-parent             "contract" agree)
    (declMaplet isa-parent           "confirm" affirmative-reply)
    (declMaplet isa-parent           "success" '(affirmative-reply propose)) ;DEPRECATED
    (declMaplet isa-parent         "negative-reply" '(nack reply))
    (declMaplet isa-parent           "disconfirm" negative-reply)
    (declMaplet isa-parent           "failure" '(negative-reply propose))
    (declMaplet isa-parent           "not-understood" negative-reply)
    (declMaplet isa-parent           "refuse" negative-reply)
    (declMaplet isa-parent             "reject-proposal" refuse)
    (declMaplet isa-parent           "timeout" negative-reply)
    (declMaplet isa-parent   "physical_act" action)
    (declMaplet isa-parent   "request-persistent" action)
    (declMaplet isa-parent     "request-whenever" '(request request-persistent))
    (declMaplet isa-parent     "subscribe" '(petition request-persistent))
    (declMaplet isa-parent   "request_aka_mac_list" action)
    (declMaplet isa-parent   "request_user_list" action)
    (declMaplet isa-parent   "run" action)
    (declMaplet isa-parent     "run_agent" run)
    (declMaplet isa-parent   "security_agent_users_list" action)
    (declMaplet isa-parent   "security_authenticate" action)
    (declMaplet isa-parent   "security_authorize" action)
    (declMaplet isa-parent   "security_checkAccess" action)
    (declMaplet isa-parent   "security_vote" action)
    (declMaplet isa-parent   "specific_aka_list" action)
    (declMaplet isa-parent   "update" action)
  )
)


(declOntology "actions" ; 
  '("isa") ; super ontologies
  '(
    ; ACTIONS
    (declMaplet isa-parent "action" TOP)
    (declMaplet isa-parent   "LAC_closing" action)
    (declMaplet isa-parent   "act" action)
    (declMaplet isa-parent   "chat_message" action)
;    (declMaplet isa-parent "consider" action)
;    (declMaplet isa-parent "accept" consider)
;    (declMaplet isa-parent "assemble" consider)
;    (declMaplet isa-parent "conclude" consider)
;    (declMaplet isa-parent "release" consider)
;    (declMaplet isa-parent "verify" consider)
    (declMaplet isa-parent   "create" action)
    (declMaplet isa-parent     "createCD" create)
    (declMaplet isa-parent     "save-info" create)
    (declMaplet isa-parent       "put_data" save-info)
    (declMaplet isa-parent         "register" save-info)
    (declMaplet isa-parent           "advertise" register)
    (declMaplet isa-parent           "observe" register)
    (declMaplet isa-parent             "observe_membership" observe)
    (declMaplet isa-parent             "observe_messages" observe)
    (declMaplet isa-parent           "add_observer" register)
    (declMaplet isa-parent           "registerYellowPages" register)
    (declMaplet isa-parent           "register_agentType" register)
    (declMaplet isa-parent           "register_instance" register)
    (declMaplet isa-parent   "destroy" action)
    (declMaplet isa-parent     "delete-info" destroy)
    (declMaplet isa-parent       "deleteDataCD" delete-info)
    (declMaplet isa-parent       "deleteHistoryCD" delete-info)
    (declMaplet isa-parent       "unregister" delete-info)
    (declMaplet isa-parent         "remove_advertisement" unregister)
    (declMaplet isa-parent         "unregister_agentType" unregister)
    (declMaplet isa-parent         "unregister_instance" unregister)
    (declMaplet isa-parent     "deleteCD" destroy)
    (declMaplet isa-parent   "evaluate" action)
    (declMaplet isa-parent   "execute" action)
    (declMaplet isa-parent   "exit" action)
    (declMaplet isa-parent   "forward_message" action)
    (declMaplet isa-parent   "get" action)
    (declMaplet isa-parent     "get-info" get)
    (declMaplet isa-parent       "getAgents" get-info)
    (declMaplet isa-parent         "get_agents_running" getAgents)
    (declMaplet isa-parent         "get_agents_registered" getAgents)
    (declMaplet isa-parent       "getCDs" get-info)
    (declMaplet isa-parent       "getYellowPages" get-info)
    (declMaplet isa-parent       "get_acts" get-info)
    (declMaplet isa-parent       "get_data" get-info)
    (declMaplet isa-parent       "get_history" get-info)
    (declMaplet isa-parent       "get_members" get-info)
    (declMaplet isa-parent       "get_name" get-info)
    (declMaplet isa-parent       "get_ontology" get-info)
    (declMaplet isa-parent       "resolve_url" get-info)
    (declMaplet isa-parent       "search" get-info)
    (declMaplet isa-parent         "find_instance" search)
    (declMaplet isa-parent     "ping" get)
    (declMaplet isa-parent   "gui_action_request" action)
    (declMaplet isa-parent   "inform_users_list" action)
    (declMaplet isa-parent   "invite_to_cd" action)
    (declMaplet isa-parent   "membership_change" action)
    (declMaplet isa-parent     "join_cd" '(membership_change register))
    (declMaplet isa-parent     "withdraw_cd" '(membership_change unregister))
    (declMaplet isa-parent   "new_MenuItem" action)
    (declMaplet isa-parent   "perform" action)
    (declMaplet isa-parent     "method_call" perform)
    (declMaplet isa-parent     "monitor" perform)
    (declMaplet isa-parent   "performative" action)
    (declMaplet isa-parent     "ack" performative)
    (declMaplet isa-parent       "nack" ack)
    (declMaplet isa-parent     "inform-if" performative)
    (declMaplet isa-parent     "inform-ref" performative)
    (declMaplet isa-parent     "inform" performative)
    (declMaplet isa-parent       "notify" '(perform inform))
    (declMaplet isa-parent       "cancel" inform)
    (declMaplet isa-parent       "petition" inform)
    (declMaplet isa-parent         "propose" petition)
    (declMaplet isa-parent         "request" petition)
    (declMaplet isa-parent           "query-if" request)
    (declMaplet isa-parent           "query-ref" request)
;   (declMaplet isa-parent           "inform-if" request)
;   (declMaplet isa-parent           "inform-ref" request)
    (declMaplet isa-parent           "cfp" request)
    (declMaplet isa-parent           "discharge" '(destroy request))
    (declMaplet isa-parent           "request-when" request)
    (declMaplet isa-parent       "propagate" inform)
    (declMaplet isa-parent       "proxy" inform)
    (declMaplet isa-parent       "reply" '(ack inform))
    (declMaplet isa-parent         "affirmative-reply" reply)
    (declMaplet isa-parent           "agree" affirmative-reply)
    (declMaplet isa-parent             "accept-proposal" agree)
    (declMaplet isa-parent             "contract" agree)
    (declMaplet isa-parent           "confirm" affirmative-reply)
    (declMaplet isa-parent           "success" '(affirmative-reply propose)) ;DEPRECATED
    (declMaplet isa-parent         "negative-reply" '(nack reply))
    (declMaplet isa-parent           "disconfirm" negative-reply)
    (declMaplet isa-parent           "failure" '(negative-reply propose))
    (declMaplet isa-parent           "not-understood" negative-reply)
    (declMaplet isa-parent           "refuse" negative-reply)
    (declMaplet isa-parent             "reject-proposal" refuse)
    (declMaplet isa-parent           "timeout" negative-reply)
    (declMaplet isa-parent   "physical_act" action)
    (declMaplet isa-parent   "request-persistent" action)
    (declMaplet isa-parent     "request-whenever" '(request request-persistent))
    (declMaplet isa-parent     "subscribe" '(petition request-persistent))
    (declMaplet isa-parent   "request_aka_mac_list" action)
    (declMaplet isa-parent   "request_user_list" action)
    (declMaplet isa-parent   "run" action)
    (declMaplet isa-parent     "run_agent" run)
    (declMaplet isa-parent   "security_agent_users_list" action)
    (declMaplet isa-parent   "security_authenticate" action)
    (declMaplet isa-parent   "security_authorize" action)
    (declMaplet isa-parent   "security_checkAccess" action)
    (declMaplet isa-parent   "security_vote" action)
    (declMaplet isa-parent   "specific_aka_list" action)
    (declMaplet isa-parent   "update" action)
  )
)


(declOntology "casa" ; also defined is (forOntology …
  '("actions" "events") ; super ontologies
  '(
    ; ACTORS
    (declMaplet isa-parent "entity" TOP)
      (declMaplet isa-parent "actor" entity)
        (declMaplet isa-parent "agent_" actor)
          (declMaplet isa-parent "debtor" agent_)
          (declMaplet isa-parent "creditor" agent_)
          (declMaplet isa-parent "sender" agent_)
          (declMaplet isa-parent "receiver" agent_)
    )
)