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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JoiningAnOrganization
JoiningAnOrganization(joining an organization)accede, band_oneself, blackleg, cast, enrol, enroll, enter, fall_in, fink, get_together, induct, infiltrate, inscribe, instal, install, institutionalised, institutionalized, invest, join, league_together, noninstitutionalised, noninstitutionalized, penetrate, place, rat, readmit, recruit, rejoin, scab, seat, start, take_office, take_orders, take_up

appearance as argument number 1
-------------------------


s__documentation(s__JoiningAnOrganization,s__ChineseLanguage,'"这是成为一个 OrganizationmemberOrganizationalProcess。"')

chinese_format.kif 2947-2948
s__documentation(s__JoiningAnOrganization,s__EnglishLanguage,'"The OrganizationalProcess of becoming a member of an Organization."')

Merge.kif 10133-10134
s__subclass(s__JoiningAnOrganization,s__OrganizationalProcess)

s__instance(s__OrganizationalProcess,s__SetOrClass)

s__instance(s__JoiningAnOrganization,s__SetOrClass)

Merge.kif 10131-10131 Joining an organization is a subclass of organizational process

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


s__disjoint(s__LeavingAnOrganization,s__JoiningAnOrganization)

Merge.kif 10187-10187 Leaving an organization is disjoint from joining an organization
s__instance(s__Baptizing,s__SetOrClass)

s__subclass(s__Baptizing,s__JoiningAnOrganization)

s__instance(s__JoiningAnOrganization,s__SetOrClass)

Mid-level-ontology.kif 7550-7550 Baptizing is a subclass of joining an organization
s__instance(s__JoiningAnOrganization,s__SetOrClass)

s__instance(s__Hiring,s__SetOrClass)

s__subclass(s__Hiring,s__JoiningAnOrganization)

Merge.kif 10260-10260 Hiring is a subclass of joining an organization
s__instance(s__Infiltration,s__SetOrClass)

s__subclass(s__Infiltration,s__JoiningAnOrganization)

s__instance(s__JoiningAnOrganization,s__SetOrClass)

Mid-level-ontology.kif 20714-20714 Infiltration is a subclass of joining an organization
s__instance(s__Matriculation,s__SetOrClass)

s__subclass(s__Matriculation,s__JoiningAnOrganization)

s__instance(s__JoiningAnOrganization,s__SetOrClass)

Merge.kif 10249-10249 Matriculation is a subclass of joining an organization
s__termFormat(s__ChineseLanguage,s__JoiningAnOrganization,'"加入一个机构"')

chinese_format.kif 1097-1097
s__termFormat(s__EnglishLanguage,s__JoiningAnOrganization,'"joining an organization"')

english_format.kif 1410-1410

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


( ! [V__AGENT,V__JOIN,V__ORG] :
   ((s__instance(V__ORG,s__Collection) =>
       (((s__instance(V__JOIN,s__JoiningAnOrganization) &
             s__instance(V__AGENT,s__Agent) &
             s__agent(V__JOIN,V__AGENT)
           &
           s__patient(V__JOIN,V__ORG)
         &
         s__instance(V__JOIN,s__Organization))
       =>
       (s__member(V__AGENT,V__ORG)))))
)
)

Government.kif 2482-2489
No TPTP formula. May not be expressible in strict first order. Merge.kif 10136-10144

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13361-13367


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