Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  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 10731-10731 Joining an organization is a subclass of organizational process
(documentation JoiningAnOrganization EnglishLanguage "The OrganizationalProcess of becoming a member of an Organization.") Merge.kif 10733-10734 Joining an organization is a subclass of organizational process

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


(disjoint LeavingAnOrganization JoiningAnOrganization) Merge.kif 10804-10804 Leaving an organization is disjoint from joining an organization
(subclass Matriculation JoiningAnOrganization) Merge.kif 10866-10866 Matriculation is a subclass of joining an organization
(subclass Hiring JoiningAnOrganization) Merge.kif 10877-10877 Hiring is a subclass of joining an organization
(subclass Baptizing JoiningAnOrganization) Mid-level-ontology.kif 9200-9200 Baptizing is a subclass of joining an organization
(subclass Infiltration JoiningAnOrganization) Mid-level-ontology.kif 24330-24330 Infiltration is a subclass of joining an organization
(termFormat EnglishLanguage JoiningAnOrganization "joining an organization") english_format.kif 1405-1405 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 10736-10744 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 2482-2489 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 16033-16039 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 is open source software produced by Articulate Software and its partners