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 2389-2393
(domain associateInOrganization 1 AutonomousAgent) Government.kif 2385-2385 The number 1 argument of associate in organization is an instance of agent
(domain associateInOrganization 2 Group) Government.kif 2386-2386 The number 2 argument of associate in organization is an instance of group
(instance associateInOrganization BinaryPredicate) Government.kif 2384-2384 associate in organization is an instance of binary predicate
(subrelation associateInOrganization member) Government.kif 2387-2387 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 8779-8779
(termFormat ChineseTraditionalLanguage associateInOrganization "在組織中關聯") domainEnglishFormat.kif 8778-8778
(termFormat EnglishLanguage associateInOrganization "associate in organization") domainEnglishFormat.kif 8777-8777

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


(=>
    (associateWithStatus ?AGENT ?STATUS ?GROUP)
    (associateInOrganization ?AGENT ?GROUP))		 Government.kif 2407-2409


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 3.0 is open source software produced by Articulate Software and its partners