Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 10819-10819 Joining an organization is a subclass of organizational process
(documentation JoiningAnOrganization EnglishLanguage "The OrganizationalProcess of becoming a member of an Organization.") Merge.kif 10821-10822 Joining an organization is a subclass of organizational process

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


(disjoint LeavingAnOrganization JoiningAnOrganization) Merge.kif 10893-10893 Leaving an organization is disjoint from joining an organization
(subclass Matriculation JoiningAnOrganization) Merge.kif 10955-10955 Matriculation is a subclass of joining an organization
(subclass Hiring JoiningAnOrganization) Merge.kif 10966-10966 Hiring is a subclass of joining an organization
(subclass Baptizing JoiningAnOrganization) Mid-level-ontology.kif 9314-9314 Baptizing is a subclass of joining an organization
(subclass Infiltration JoiningAnOrganization) Mid-level-ontology.kif 24230-24230 Infiltration is a subclass of joining an organization
(termFormat EnglishLanguage JoiningAnOrganization "joining an organization") english_format.kif 1409-1409 Infiltration is a subclass of joining an organization

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


(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?ORG Organization)
        (agent ?JOIN ?PERSON)
        (patient ?JOIN ?ORG))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?JOIN))
            (not
                (member ?PERSON ?ORG)))
        (holdsDuring
            (EndFn
                (WhenFn ?JOIN))
            (member ?PERSON ?ORG))))		 Merge.kif 10824-10832 If X is an instance of joining an organization, Y is an instance of organization, Z is an agent of X, and Y is a patient of X, then Z is not a member of Y holds during the beginning of the time of existence of X and Z is a member of Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT AutonomousAgent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))		 Government.kif 2493-2500 If X is an instance of joining an organization, Y is an instance of agent, Y is an agent of X, Z is a patient of X, and X is an instance of organization, then Y is a member of Z

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


(=>
    (instance ?APP Application)
    (hasPurpose ?APP
        (exists (?JOIN ?GIVE)
            (or
                (instance ?JOIN JoiningAnOrganization)
                (instance ?GIVE UnilateralGiving)))))		 Mid-level-ontology.kif 16116-16122 If X is an instance of application, then X has the purpose there exist Y and Z such that Y is an instance of joining an organization or Z is an instance of unilateral giving


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners