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 2375-2379
(domain associateInOrganization 1 Agent) Government.kif 2371-2371 The number 1 argument of associate in organization is an instance of agent
(domain associateInOrganization 2 Group) Government.kif 2372-2372 The number 2 argument of associate in organization is an instance of group
(instance associateInOrganization BinaryPredicate) Government.kif 2370-2370 associate in organization is an instance of binary predicate
(subrelation associateInOrganization member) Government.kif 2373-2373 associate in organization is a subrelation of member

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


(format EnglishLanguage associateInOrganization "%2 is %n an associate in organization of %1") domainEnglishFormat.kif 59-59
(termFormat EnglishLanguage associateInOrganization "associate in organization") domainEnglishFormat.kif 1897-1897 "associate in organization" is the printable form of associate in organization in english language

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


(=>
    (associateWithStatus ?AGENT ?STATUS ?GROUP)
    (associateInOrganization ?AGENT ?GROUP))
Government.kif 2393-2395


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