![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MemberStatus(member status) |
| appearance as argument number 1 |
|
|
| (subclass MemberStatus RelationalAttribute) | Government.kif 2450-2450 | Member status is a subclass of relational attribute |
| (documentation MemberStatus EnglishLanguage "MemberStatus is the class of RelationalAttributes that represent the different kinds of status that may be held in various organizations. Included in this class are membership types for InternationalOrganizations covered by the CIA World Fact Book.") | Government.kif 2452-2456 | Member status is a subclass of relational attribute |
| appearance as argument number 2 |
|
|