Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AccountAttribute
AccountAttribute

appearance as argument number 1
-------------------------


(documentation AccountAttribute EnglishLanguage "A Class of Attributes pertaining to UserAccounts.") UXExperimentalTerms.kif 796-797
(subclass AccountAttribute Attribute) UXExperimentalTerms.kif 794-794 subclass AccountAttribute and Attribute

appearance as argument number 2
-------------------------


(instance AccountActive AccountAttribute) ComputingBrands.kif 4388-4388 instance AccountActive and AccountAttribute
(instance AccountDeactivated AccountAttribute) ComputingBrands.kif 4387-4387 instance AccountDeactivated and AccountAttribute
(instance BusinessAccount AccountAttribute) UXExperimentalTerms.kif 811-811 instance BusinessAccount and AccountAttribute
(instance ConsumerAccount AccountAttribute) UXExperimentalTerms.kif 829-829 instance ConsumerAccount and AccountAttribute
(termFormat EnglishLanguage AccountAttribute "account attribute") UXExperimentalTerms.kif 799-799

antecedent
-------------------------


(=>
    (and
        (attribute ?ACCT ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?ACCT UserAccount))
UXExperimentalTerms.kif 801-805
(=>
    (and
        (attribute ?TRANS ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?TRANS FinancialTransaction))
UXExperimentalTerms.kif 1842-1846


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