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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JoiningAnOrganization

Sigma KEE - JoiningAnOrganization
JoiningAnOrganization

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


(documentation JoiningAnOrganization ChineseLanguage "这是成为一个 OrganizationmemberOrganizationalProcess。") Merge.kif 10620-10621
(documentation JoiningAnOrganization EnglishLanguage "The OrganizationalProcess of becoming a member of an Organization.") Merge.kif 10618-10619
(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 10617-10617

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


(disjoint LeavingAnOrganization JoiningAnOrganization) Merge.kif 10634-10634
(subclass Baptizing JoiningAnOrganization) Mid-level-ontology.kif 7689-7689
(subclass Hiring JoiningAnOrganization) Merge.kif 10674-10674
(subclass Infiltration JoiningAnOrganization) Mid-level-ontology.kif 19724-19724
(subclass Matriculation JoiningAnOrganization) Merge.kif 10662-10662
(termFormat ChineseLanguage JoiningAnOrganization "加入一个机构") chinese_format.kif 1097-1097
(termFormat EnglishLanguage JoiningAnOrganization "joining an organization") english_format.kif 1362-1362
(termFormat JapaneseLanguage JoiningAnOrganization "組織に加入") english_format.kif 1363-1363

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


(=>
    (and
        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT Agent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))
Government.kif 2448-2455
(=>
    (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 10623-10631

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


(=>
    (instance ?APP Application)
    (hasPurpose ?APP
        (exists (?JOIN ?GIVE)
            (or
                (instance ?JOIN JoiningAnOrganization)
                (instance ?GIVE UnilateralGiving)))))
Mid-level-ontology.kif 12258-12264


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners