Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AccountAttribute(account attribute) |
| appearance as argument number 1 |
|
| (subclass AccountAttribute Attribute) | UXExperimentalTerms.kif 643-643 | Account attribute is a subclass of attribute |
| (documentation AccountAttribute EnglishLanguage "A Class of Attributes pertaining to UserAccounts.") | UXExperimentalTerms.kif 644-645 | Account attribute is a subclass of attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?ACCT ?ATTR) (instance ?ATTR AccountAttribute)) (instance ?ACCT UserAccount)) |
UXExperimentalTerms.kif 648-652 | If X is an attribute of Y and X is an instance of account attribute, then Y is an instance of user account |
| (=> (and (attribute ?TRANS ?ATTR) (instance ?ATTR AccountAttribute)) (instance ?TRANS FinancialTransaction)) |
UXExperimentalTerms.kif 1637-1641 | If X is an attribute of Y and X is an instance of account attribute, then Y is an instance of financial transaction |
|