Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - UserAccount
UserAccount

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


(subclass UserAccount Account) ComputingBrands.kif 4453-4453
(subclass UserAccount ContentBearingObject) QoSontology.kif 2159-2159
(documentation UserAccount EnglishLanguage "An established relationship between a user and a computer, network or information service. User accounts require a username and password, and new user accounts are given a default set of permissions.") QoSontology.kif 2160-2162
(externalImage UserAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash_account_summary.png") pictureList.kif 10326-10326

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


(subclass AppleID UserAccount) ComputingBrands.kif 2001-2001
(subclass SocialNetworkingAccount UserAccount) Facebook.kif 29-29
(termFormat EnglishLanguage UserAccount "user account") domainEnglishFormat.kif 60827-60827
(termFormat ChineseTraditionalLanguage UserAccount "用戶帳號") domainEnglishFormat.kif 60828-60828
(termFormat ChineseLanguage UserAccount "用户帐号") domainEnglishFormat.kif 60829-60829

appearance as argument number 3
-------------------------


(domain deviceAccount 1 UserAccount) ComputingBrands.kif 3856-3856
(domain accountPhoneNumber 1 UserAccount) ComputingBrands.kif 4063-4063
(domain accountUsed 2 UserAccount) ComputingBrands.kif 4068-4068
(domain trustedDevice 1 UserAccount) ComputingBrands.kif 4191-4191
(domain loggedInDuring 2 UserAccount) ComputingBrands.kif 4236-4236
(domain accountInformation 1 UserAccount) ComputingBrands.kif 4317-4317
(domain recoveryKey 2 UserAccount) ComputingBrands.kif 4327-4327
(domain userName 1 UserAccount) QoSontology.kif 2184-2184
(domain hasAccount 2 UserAccount) QoSontology.kif 2195-2195
(domain password 2 UserAccount) QoSontology.kif 2222-2222
(domain accountAtSite 1 UserAccount) UXExperimentalTerms.kif 626-626
(domain userFeedbackScore 1 UserAccount) UXExperimentalTerms.kif 710-710
(domain userIDString 2 UserAccount) UXExperimentalTerms.kif 1091-1091

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


(=>
    (and
        (instance ?ACT ActivatingADeactivatedAccount)
        (instance ?AC UserAccount)
        (patient ?ACT ?AC))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?ACT))
            (attribute ?AC AccountDeactivated))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?ACT))
            (attribute ?AC AccountActive))))		 ComputingBrands.kif 4393-4402
(=>
    (and
        (instance ?DEACT DeactivatingAnAccount)
        (instance ?AC UserAccount)
        (patient ?DEACT ?AC))
    (and
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?DEACT))
            (attribute ?AC AccountDeactivated))
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?DEACT))
            (attribute ?AC AccountActive))))		 ComputingBrands.kif 4409-4418
(=>
    (instance ?Account UserAccount)
    (exists (?User)
        (hasAccount ?User ?Account)))		 QoSontology.kif 2164-2167
(=>
    (and
        (instance ?ACCOUNT UserAccount)
        (attribute ?ACCOUNT BusinessAccount)
        (hasAccount ?USER ?ACCOUNT))
    (instance ?USER Business))		 UXExperimentalTerms.kif 660-665
(=>
    (instance ?ACCOUNT UserAccount)
    (exists (?STRING)
        (and
            (instance ?STRING Identifier)
            (userIDString ?STRING ?ACCOUNT))))		 UXExperimentalTerms.kif 1105-1110

consequent
-------------------------


(=>
    (and
        (attribute ?ACCT ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?ACCT UserAccount))		 UXExperimentalTerms.kif 648-652
(=>
    (registeredUser ?USER ?SITE)
    (exists (?ACCT)
        (and
            (instance ?ACCT UserAccount)
            (hasAccount ?USER ?ACCT)
            (accountAtSite ?ACCT ?SITE))))		 UXExperimentalTerms.kif 873-879
(=>
    (userIDString ?STRING ?ACCOUNT)
    (modalAttribute
        (not
            (exists (?ACCOUNT2)
                (and
                    (instance ?ACCOUNT2 UserAccount)
                    (userIDString ?STRING ?ACCOUNT2)))) Likely))		 UXExperimentalTerms.kif 1112-1120
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 BusinessAccount))))		 UXExperimentalTerms.kif 1728-1747
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 BusinessAccount)
            (attribute ?ACCT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1760-1779
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS ConsumerToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 AutonomousAgent)
            (instance ?USER2 AutonomousAgent)
            (instance ?SITE WebSite)
            (agent ?TRANS ?USER1)
            (destination ?TRANS ?USER2)
            (instrument ?TRANS ?SITE)
            (hasAccount ?USER1 ?ACCT1)
            (hasAccount ?USER2 ?ACCT2)
            (accountAtSite ?ACCT1 ?SITE)
            (accountAtSite ?ACCT2 ?SITE)
            (attribute ?ACCT1 ConsumerAccount)
            (attribute ?ACCT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1792-1811


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners