| SocialRole(r�le social) | |
| appearance as argument number 1 |
|
|
| (documentation SocialRole ChineseLanguage "这是所有表示一个 CognitiveAgent 在一个 Organization 或是其他 Group 的身份或地位 Attribute 的 Class。") | chinese_format.kif 3846-3847 | |
| (documentation SocialRole EnglishLanguage "The Class of all Attributes that specify the position or status of a CognitiveAgent within an Organization or other Group.") | Merge.kif 17415-17417 | |
| (subclass SocialRole RelationalAttribute) | Merge.kif 17414-17414 | R�le social est une sous-classe de attribut relationnel |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain ProfessionalFn 1 SocialRole) | Mid-level-ontology.kif 9445-9445 | Le nombre 1 argument de ProfessionalFn est une instance de r�le social |
| (domain candidateForPosition 2 SocialRole) | Government.kif 1801-1801 | Le nombre 2 argument de candidateForPosition est une instance de r�le social |
| (domain electionDatePlannedForPosition 3 SocialRole) | Government.kif 1700-1700 | Le nombre 3 argument de electionDatePlannedForPosition est une instance de r�le social |
| (domain electionForPosition 2 SocialRole) | Government.kif 1709-1709 | Le nombre 2 argument de electionForPosition est une instance de r�le social |
| (domain electionWinner 2 SocialRole) | Government.kif 1835-1835 | Le nombre 2 argument de electionWinner est une instance de r�le social |
| (domain hasSkillInRole 2 SocialRole) | Mid-level-ontology.kif 9469-9469 | Le nombre 2 argument de hasSkillInRole est une instance de r�le social |
| (domain roleAppointsRole 2 SocialRole) | Government.kif 1609-1609 | Le nombre 2 argument de roleAppointsRole est une instance de r�le social |
| (domain roleAppointsRole 3 SocialRole) | Government.kif 1610-1610 | Le nombre 3 argument de roleAppointsRole est une instance de r�le social |
| (domain roleApprovesRole 2 SocialRole) | Government.kif 1619-1619 | Le nombre 2 argument de roleApprovesRole est une instance de r�le social |
| (domain roleApprovesRole 3 SocialRole) | Government.kif 1620-1620 | Le nombre 3 argument de roleApprovesRole est une instance de r�le social |
| (domain roleNominatesRole 2 SocialRole) | Government.kif 1629-1629 | Le nombre 2 argument de roleNominatesRole est une instance de r�le social |
| (domain roleNominatesRole 3 SocialRole) | Government.kif 1630-1630 | Le nombre 3 argument de roleNominatesRole est une instance de r�le social |
| (domain termLength 2 SocialRole) | Government.kif 1639-1639 | Le nombre 2 argument de termLength est une instance de r�le social |
| (domain voteFractionReceived 2 SocialRole) | Government.kif 1820-1820 | Le nombre 2 argument de voteFractionReceived est une instance de r�le social |
| antecedent |
|
|
| (=> (and (attribute ?PERSON ?ATTRIBUTE) (instance ?ATTRIBUTE SocialRole)) (instance ?PERSON Human)) |
Merge.kif 17419-17423 |
|
|
|