JoiningAnOrganization - Sigma Knowledge base Browser

appearance as argument number 1

(documentation JoiningAnOrganization ChineseLanguage "这是成为一个 Organization 的 member 的 OrganizationalProcess。")	chinese_format.kif 2947-2948
(documentation JoiningAnOrganization EnglishLanguage "The OrganizationalProcess of becoming a member of an Organization.")	Merge.kif 10735-10736
(documentation JoiningAnOrganization JapaneseLanguage "Organization の member になる OrganizationalProcess。")	japanese_format.kif 1702-1703
(subclass JoiningAnOrganization OrganizationalProcess)	Merge.kif 10733-10733	Joining an organization is a subclass of organizational process

appearance as argument number 2

(disjoint LeavingAnOrganization JoiningAnOrganization)	Merge.kif 10806-10806	Leaving an organization is disjoint from joining an organization
(subclass Baptizing JoiningAnOrganization)	Mid-level-ontology.kif 9155-9155	Baptizing is a subclass of joining an organization
(subclass Hiring JoiningAnOrganization)	Merge.kif 10879-10879	Hiring is a subclass of joining an organization
(subclass Infiltration JoiningAnOrganization)	Mid-level-ontology.kif 23573-23573	Infiltration is a subclass of joining an organization
(subclass Matriculation JoiningAnOrganization)	Merge.kif 10868-10868	Matriculation is a subclass of joining an organization
(termFormat ChineseLanguage JoiningAnOrganization "加入一个机构")	chinese_format.kif 1097-1097	Matriculation is a subclass of joining an organization
(termFormat EnglishLanguage JoiningAnOrganization "joining an organization")	english_format.kif 1405-1405	Matriculation is a subclass of joining an organization
(termFormat FrenchLanguage JoiningAnOrganization "adh�rer une organisation")	french_format.kif 775-775	Matriculation is a subclass of joining an organization
(termFormat Hindi JoiningAnOrganization "sansthaa kaarya grahana")	terms-hindi.txt 307-307	Matriculation is a subclass of joining an organization
(termFormat ItalianLanguage JoiningAnOrganization "AdesioneAdUn'Organizzazione")	terms-it.txt 310-310	Matriculation is a subclass of joining an organization
(termFormat JapaneseLanguage JoiningAnOrganization "組織に加入")	japanese_format.kif 2459-2459	Matriculation is a subclass of joining an organization
(termFormat PortugueseLanguage JoiningAnOrganization "Juntar-se a uma Organizacao")	portuguese_format.kif 727-727	Matriculation is a subclass of joining an organization
(termFormat cz JoiningAnOrganization "joining an organization")	terms-cz.txt 346-346	Matriculation is a subclass of joining an organization
(termFormat de JoiningAnOrganization "gehen zu einer Organisation")	terms-de.txt 605-605	Matriculation is a subclass of joining an organization
(termFormat ro JoiningAnOrganization "aderare la o organizaþie")	relations-ro.kif 796-796	Matriculation is a subclass of joining an organization
(termFormat tg JoiningAnOrganization "pagsali sa kapisanan")	terms-tg.txt 311-311	Matriculation is a subclass of joining an organization

antecedent

(=> (and (instance ?JOIN JoiningAnOrganization) (instance ?AGENT AutonomousAgent) (agent ?JOIN ?AGENT) (patient ?JOIN ?ORG) (instance ?JOIN Organization)) (member ?AGENT ?ORG))	Government.kif 2462-2469	If a process is an instance of joining an organization and an agent is an instance of agent and the agent is an agent of the process and a collection is a patient of the process and the process is an instance of organization, then the agent is a member of the collection
(=> (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 10738-10746	If a process is an instance of joining an organization and an entity is an instance of organization and an agent is an agent of the process and the entity is a patient of the process, then the agent is not a member of the entity holds during the beginning of the time of existence of the process and the agent is a member of the entity holds during the end of the time of existence of the process

consequent

(=>
    (instance ?APP Application)
    (hasPurpose ?APP
        (exists (?JOIN ?GIVE)
            (or
                (instance ?JOIN JoiningAnOrganization)
                (instance ?GIVE UnilateralGiving)))))

Mid-level-ontology.kif 15871-15877

If a physical is an instance of application,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of joining an organization or the other entity 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

KB Term:			Term intersection

English Word: