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 2428-2432
(domain associateInOrganization 1 AutonomousAgent) Government.kif 2424-2424 associateInOrganization の数値 1 引数は AutonomousAgent の instance では %n
(domain associateInOrganization 2 Group) Government.kif 2425-2425 associateInOrganization の数値 2 引数は グループ の instance では %n
(instance associateInOrganization BinaryPredicate) Government.kif 2423-2423 associateInOrganization は 2進述語 の instance では %n
(subrelation associateInOrganization member) Government.kif 2426-2426 associateInOrganization は member の subrelation では %n

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 8778-8778
(termFormat ChineseTraditionalLanguage associateInOrganization "在組織中關聯") domainEnglishFormat.kif 8777-8777
(termFormat EnglishLanguage associateInOrganization "associate in organization") domainEnglishFormat.kif 8776-8776

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