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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - associateInOrganization
associateInOrganization

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


(documentation associateInOrganization EnglishLanguage "(associateInOrganization ?AGENT ?GROUP) means that ?AGENT is associated in some way with the Group ?GROUP. This includes participation as a guest or observer, as well as being a full member. See member for a more specific relation.") Government.kif 2369-2373
(domain associateInOrganization 1 Agent) Government.kif 2365-2365 domain associateInOrganization, 1 and Agent
(domain associateInOrganization 2 Group) Government.kif 2366-2366 domain associateInOrganization, 2 and Group
(instance associateInOrganization BinaryPredicate) Government.kif 2364-2364 instance associateInOrganization and BinaryPredicate
(subrelation associateInOrganization member) Government.kif 2367-2367 subrelation associateInOrganization and member

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


(format ChineseLanguage associateInOrganization "%2 %n 是组织 %1 的 associated ") domainEnglishFormat.kif 200-200
(format ChineseTraditionalLanguage associateInOrganization "%2 %n 是組織 %1 的 associated ") domainEnglishFormat.kif 199-199
(format EnglishLanguage associateInOrganization "%2 is %n an associate in organization of %1") domainEnglishFormat.kif 198-198
(termFormat ChineseLanguage associateInOrganization "在组织中关联") domainEnglishFormat.kif 8785-8785 termFormat ChineseLanguage, associateInOrganization and "在组织中关联"
(termFormat ChineseTraditionalLanguage associateInOrganization "在組織中關聯") domainEnglishFormat.kif 8784-8784 termFormat ChineseTraditionalLanguage, associateInOrganization and "在組織中關聯"
(termFormat EnglishLanguage associateInOrganization "associate in organization") domainEnglishFormat.kif 8783-8783 termFormat EnglishLanguage, associateInOrganization and "associate in organization"

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


(=>
    (associateWithStatus ?AGENT ?STATUS ?GROUP)
    (associateInOrganization ?AGENT ?GROUP))
Government.kif 2387-2389


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners