| appearance as argument number 1 |
|
| (documentation AccountAttribute EnglishLanguage "A Class of Attributes pertaining to UserAccounts.") | UXExperimentalTerms.kif 800-801 | |
| (subclass AccountAttribute Attribute) | UXExperimentalTerms.kif 798-798 |
| appearance as argument number 2 |
|
|
| (instance AccountActive AccountAttribute) | ComputingBrands.kif 4431-4431 | |
| (instance AccountDeactivated AccountAttribute) | ComputingBrands.kif 4430-4430 | |
| (instance BusinessAccount AccountAttribute) | UXExperimentalTerms.kif 815-815 | |
| (instance ConsumerAccount AccountAttribute) | UXExperimentalTerms.kif 833-833 | |
| (termFormat EnglishLanguage AccountAttribute "account attribute") | UXExperimentalTerms.kif 803-803 |
| antecedent |
|
|
| (=> (and (attribute ?ACCT ?ATTR) (instance ?ATTR AccountAttribute)) (instance ?ACCT UserAccount)) |
UXExperimentalTerms.kif 805-809 | |
| (=> (and (attribute ?TRANS ?ATTR) (instance ?ATTR AccountAttribute)) (instance ?TRANS FinancialTransaction)) |
UXExperimentalTerms.kif 1845-1849 |
|
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