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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


        (instance ?JOIN JoiningAnOrganization)
        (instance ?AGENT Agent)
        (agent ?JOIN ?AGENT)
        (patient ?JOIN ?ORG)
        (instance ?JOIN Organization))
    (member ?AGENT ?ORG))
Government.kif 2448-2455
        (instance ?JOIN JoiningAnOrganization)
        (instance ?ORG Organization)
        (agent ?JOIN ?PERSON)
        (patient ?JOIN ?ORG))
                (WhenFn ?JOIN))
                (member ?PERSON ?ORG)))
                (WhenFn ?JOIN))
            (member ?PERSON ?ORG))))
Merge.kif 10623-10631


    (instance ?APP Application)
    (hasPurpose ?APP
        (exists (?JOIN ?GIVE)
                (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