![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
SocialRole
|
|
|
| appearance as argument number 1 |
|
|
| (subclass SocialRole RelationalAttribute) | Merge.kif 17589-17589 | Social role is a subclass of relational attribute |
| (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 17590-17592 | Social role is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?PERSON ?ATTRIBUTE) (instance ?ATTRIBUTE SocialRole)) (instance ?PERSON Human)) |
Merge.kif 17594-17598 | If X is an attribute of Y and X is an instance of social role, then Y is an instance of human |