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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hasAccount
hasAccount

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


(documentation hasAccount EnglishLanguage "(hasAccount ?User ?Account) holds if ?User is assigned the UserAccount ?Account.") QoSontology.kif 2078-2079
(domain hasAccount 1 Agent) QoSontology.kif 2076-2076
(domain hasAccount 2 UserAccount) QoSontology.kif 2077-2077
(instance hasAccount AsymmetricRelation) QoSontology.kif 2075-2075
(subrelation hasAccount possesses) QoSontology.kif 2074-2074

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


(format ChineseLanguage hasAccount "%1 有 account %2 ") domainEnglishFormat.kif 3607-3607
(format ChineseTraditionalLanguage hasAccount "%1 有 account %2 ") domainEnglishFormat.kif 3606-3606
(format EnglishLanguage hasAccount "%1 has account %2") domainEnglishFormat.kif 3605-3605
(termFormat ChineseLanguage hasAccount "有帐户") domainEnglishFormat.kif 27496-27496
(termFormat ChineseTraditionalLanguage hasAccount "有帳戶") domainEnglishFormat.kif 27495-27495
(termFormat EnglishLanguage hasAccount "has account") domainEnglishFormat.kif 27494-27494

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


(=>
    (and
        (accountAtSite ?ACCOUNT ?SITE)
        (hasAccount ?USER ?ACCOUNT))
    (registeredUser ?USER ?SITE))		 UXExperimentalTerms.kif 1076-1080
(=>
    (and
        (hasAccount ?U ?AC)
        (password ?P ?AC)
        (deviceAccount ?AC ?D)
        (not
            (knows ?U
                (password ?P ?AC)))
        (knows ?U
            (recoveryKey ?S ?AC))
        (possesses ?U ?D))
    (modalAttribute
        (exists (?C)
            (and
                (instance ?C ChangingPassword)
                (patient ?C ?AC)
                (agent ?C ?U))) Possibility))		 ComputingBrands.kif 4347-4364
(=>
    (and
        (instance ?ACCOUNT UserAccount)
        (attribute ?ACCOUNT BusinessAccount)
        (hasAccount ?USER ?ACCOUNT))
    (instance ?USER Business))		 UXExperimentalTerms.kif 820-825
(=>
    (and
        (instance ?CP ChangingAccountInfo)
        (agent ?CP ?A)
        (hasAccount ?A ?UA)
        (accountInformation ?UA ?N1))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?N2)
            (and
                (not
                    (equal ?N2 ?N1))
                (accountInformation ?UA ?N2)))))		 ComputingBrands.kif 4043-4055
(=>
    (and
        (instance ?CP ChangingPassword)
        (agent ?CP ?A)
        (hasAccount ?A ?UA)
        (password ?P1 ?UA))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?P2)
            (and
                (instance ?P2 ComputerPassword)
                (not
                    (equal ?P2 ?P1))
                (password ?P2 ?UA)))))		 ComputingBrands.kif 3999-4012
(=>
    (and
        (instance ?CP ChangingUserName)
        (agent ?CP ?A)
        (hasAccount ?A ?UA)
        (userName ?UA ?N1))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?N2)
            (and
                (instance ?N2 UserName)
                (not
                    (equal ?N2 ?N1))
                (userName ?UA ?N2)))))		 ComputingBrands.kif 4021-4034
(=>
    (and
        (instance ?D DeletingAnAccount)
        (instance ?AC Account)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?D))
            (hasAccount ?A ?AC))
        (patient ?D ?AC)
        (agent ?D ?A))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?D))
        (not
            (hasAccount ?A ?AC))))		 ComputingBrands.kif 4486-4496
(=>
    (and
        (instance ?LF LoginFailure)
        (agent ?LF ?A)
        (hasAccount ?A ?AC))
    (holdsDuring
        (WhenFn ?LF)
        (not
            (exists (?L)
                (and
                    (agent ?L ?A)
                    (instance ?L LoggingIn)
                    (patient ?L ?AC))))))		 ComputingBrands.kif 3929-3940
(=>
    (and
        (instance ?LI LoggingIn)
        (hasAccount ?U ?A)
        (accountAtSite ?A ?S)
        (equal ?T
            (ImmediateFutureFn
                (WhenFn ?LI)))
        (agent ?LI ?U))
    (modalAttribute
        (holdsDuring ?T
            (exists (?P)
                (and
                    (instance ?P ComputerProcess)
                    (agent ?P ?U)
                    (patient ?P ?S)))) Possibility))		 ComputingBrands.kif 3892-3906
(=>
    (and
        (instance ?LI LoggingIn)
        (hasAccount ?U ?A)
        (deviceAccount ?A ?C)
        (equal ?T
            (ImmediateFutureFn
                (WhenFn ?LI)))
        (agent ?LI ?U))
    (modalAttribute
        (holdsDuring ?T
            (exists (?P)
                (and
                    (instance ?P ComputerProcess)
                    (agent ?P ?U)
                    (instrument ?P ?C)))) Possibility))		 ComputingBrands.kif 3908-3922
(=>
    (and
        (userIDString ?STRING ?ACCOUNT)
        (hasAccount ?USER ?ACCOUNT))
    (represents ?STRING ?USER))		 UXExperimentalTerms.kif 1295-1299
(=>
    (hasAccount ?User ?Account)
    (exists (?Name)
        (userName ?Account ?Name)))		 QoSontology.kif 2057-2060
(=>
    (hasAccount ?User ?Account)
    (exists (?Password)
        (password ?Password ?User)))		 QoSontology.kif 2094-2097
(=>
    (holdsDuring ?T
        (hasAccount ?A ?UA))
    (holdsDuring ?T
        (attribute ?A ComputerUser)))		 QoSontology.kif 2081-2085

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


(=>
    (and
        (instance ?CP CreatingAnAccount)
        (agent ?CP ?A))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?CP))
        (exists (?UA ?P1 ?N)
            (and
                (hasAccount ?A ?UA)
                (password ?P1 ?UA)
                (userName ?UA ?N)))))		 ComputingBrands.kif 4063-4073
(=>
    (and
        (instance ?D DeletingAnAccount)
        (instance ?AC Account)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?D))
            (hasAccount ?A ?AC))
        (patient ?D ?AC)
        (agent ?D ?A))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?D))
        (not
            (hasAccount ?A ?AC))))		 ComputingBrands.kif 4486-4496
(=>
    (and
        (instance ?LI LoggingIn)
        (agent ?LI ?U))
    (exists (?A)
        (hasAccount ?U ?A)))		 ComputingBrands.kif 3885-3890
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToBusiness))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (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 ?ACC1 BusinessAccount)
            (attribute ?ACC2 BusinessAccount))))		 UXExperimentalTerms.kif 1932-1951
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS BusinessToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (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 ?ACCOUNT1 BusinessAccount)
            (attribute ?ACCOUNT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1964-1983
(=>
    (and
        (instance ?TRANS FinancialTransaction)
        (attribute ?TRANS ConsumerToConsumer))
    (exists (?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
        (and
            (instance ?ACCT1 UserAccount)
            (instance ?ACCT2 UserAccount)
            (instance ?USER1 Agent)
            (instance ?USER2 Agent)
            (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 ?ACCOUNT1 ConsumerAccount)
            (attribute ?ACCOUNT2 ConsumerAccount))))		 UXExperimentalTerms.kif 1996-2015
(=>
    (instance ?Account UserAccount)
    (exists (?User)
        (hasAccount ?User ?Account)))		 QoSontology.kif 2046-2049
(=>
    (loggedInDuring ?A ?UA ?T)
    (exists (?L)
        (and
            (instance ?L LoggingIn)
            (agent ?L ?A)
            (patient ?L ?UA)
            (hasAccount ?A ?UA)
            (earlier ?T
                (WhenFn ?L)))))		 ComputingBrands.kif 4257-4265
(=>
    (registeredUser ?USER ?SITE)
    (exists (?ACCT)
        (and
            (instance ?ACCT UserAccount)
            (hasAccount ?USER ?ACCT)
            (accountAtSite ?ACCT ?SITE))))		 UXExperimentalTerms.kif 1068-1074


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