| appearance as argument number 1 |
|
| (documentation AccountAttribute EnglishLanguage "A Class of Attributes pertaining to UserAccounts.") | UXExperimentalTerms.kif 644-645 | |
| (subclass AccountAttribute Attribute) | UXExperimentalTerms.kif 643-643 |
| appearance as argument number 2 |
|
|
| (instance AccountActive AccountAttribute) | ComputingBrands.kif 4468-4468 | |
| (instance AccountDeactivated AccountAttribute) | ComputingBrands.kif 4467-4467 | |
| (instance BusinessAccount AccountAttribute) | UXExperimentalTerms.kif 655-655 | |
| (instance ConsumerAccount AccountAttribute) | UXExperimentalTerms.kif 667-667 | |
| (termFormat EnglishLanguage AccountAttribute "account attribute") | UXExperimentalTerms.kif 646-646 |
| antecedent |
|
|
| (=> (and (attribute ?ACCT ?ATTR) (instance ?ATTR AccountAttribute)) (instance ?ACCT UserAccount)) |
UXExperimentalTerms.kif 648-652 | |
| (=> (and (attribute ?TRANS ?ATTR) (instance ?ATTR AccountAttribute)) (instance ?TRANS FinancialTransaction)) |
UXExperimentalTerms.kif 1637-1641 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners