Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Capitalist(capitalist) |  | capitalist, capitalistic |
| appearance as argument number 1 |
|
|
| (documentation Capitalist EnglishLanguage "One who subscribes to Capitalism") | Economy.kif 919-919 | |
| (instance Capitalist InternalAttribute) | Economy.kif 920-920 | Capitalist is an instance of internal attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Capitalist "capitalist") | Economy.kif 921-921 |
| antecedent |
|
|
| (<=> (attribute ?INDIVIDUAL Capitalist) (member ?INDIVIDUAL Capitalism)) |
Economy.kif 923-925 | Capitalist is an attribute of X if and only if X is a member of capitalism |
|