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

Formal Language: 



KB Term:  Term intersection
English Word: 

  associateInOrganization

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 The number 1 argument of associate in organization is an instance of agent
(domain associateInOrganization 2 Group) Government.kif 2366-2366 The number 2 argument of associate in organization is an instance of group
(instance associateInOrganization BinaryPredicate) Government.kif 2364-2364 associate in organization is an instance of binary predicate
(subrelation associateInOrganization member) Government.kif 2367-2367 associate in organization is a subrelation of 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 ChineseTraditionalLanguage associateInOrganization "在組織中關聯") domainEnglishFormat.kif 8784-8784
(termFormat EnglishLanguage associateInOrganization "associate in organization") domainEnglishFormat.kif 8783-8783

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


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


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