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

Formal Language: 



KB Term:  Term intersection
English Word: 

  hasAccount

 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 2072-2073
(domain hasAccount 1 AutonomousAgent) QoSontology.kif 2070-2070 domain hasAccount, 1 and AutonomousAgent
(domain hasAccount 2 UserAccount) QoSontology.kif 2071-2071 domain hasAccount, 2 and UserAccount
(instance hasAccount AsymmetricRelation) QoSontology.kif 2069-2069 instance hasAccount and AsymmetricRelation
(subrelation hasAccount possesses) QoSontology.kif 2068-2068 subrelation hasAccount and possesses

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


(format ChineseLanguage hasAccount "%1 有 account %2 ") domainEnglishFormat.kif 3602-3602
(format ChineseTraditionalLanguage hasAccount "%1 有 account %2 ") domainEnglishFormat.kif 3601-3601
(format EnglishLanguage hasAccount "%1 has account %2") domainEnglishFormat.kif 3600-3600
(termFormat ChineseLanguage hasAccount "有帐户") domainEnglishFormat.kif 27484-27484
(termFormat ChineseTraditionalLanguage hasAccount "有帳戶") domainEnglishFormat.kif 27483-27483
(termFormat EnglishLanguage hasAccount "has account") domainEnglishFormat.kif 27482-27482

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


(=>
    (and
        (accountAtSite ?ACCOUNT ?SITE)
        (hasAccount ?USER ?ACCOUNT))
    (registeredUser ?USER ?SITE))		 UXExperimentalTerms.kif 1078-1082
(=>
    (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 4425-4442
(=>
    (and
        (instance ?ACCOUNT UserAccount)
        (attribute ?ACCOUNT BusinessAccount)
        (hasAccount ?USER ?ACCOUNT))
    (instance ?USER Business))		 UXExperimentalTerms.kif 822-827
(=>
    (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 4121-4133
(=>
    (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 4077-4090
(=>
    (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 4099-4112
(=>
    (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 4564-4574
(=>
    (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 4007-4018
(=>
    (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 3970-3984
(=>
    (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 3986-4000
(=>
    (and
        (userIDString ?STRING ?ACCOUNT)
        (hasAccount ?USER ?ACCOUNT))
    (represents ?STRING ?USER))		 UXExperimentalTerms.kif 1296-1300
(=>
    (hasAccount ?User ?Account)
    (exists (?Name)
        (userName ?Account ?Name)))		 QoSontology.kif 2051-2054
(=>
    (hasAccount ?User ?Account)
    (exists (?Password)
        (password ?Password ?User)))		 QoSontology.kif 2088-2091
(=>
    (holdsDuring ?T
        (hasAccount ?A ?UA))
    (holdsDuring ?T
        (attribute ?A ComputerUser)))		 QoSontology.kif 2075-2079

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 4141-4151
(=>
    (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 4564-4574
(=>
    (and
        (instance ?LI LoggingIn)
        (agent ?LI ?U))
    (exists (?A)
        (hasAccount ?U ?A)))		 ComputingBrands.kif 3963-3968
(=>
    (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 1933-1952
(=>
    (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 1965-1984
(=>
    (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 1997-2016
(=>
    (instance ?Account UserAccount)
    (exists (?User)
        (hasAccount ?User ?Account)))		 QoSontology.kif 2040-2043
(=>
    (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 4335-4343
(=>
    (registeredUser ?USER ?SITE)
    (exists (?ACCT)
        (and
            (instance ?ACCT UserAccount)
            (hasAccount ?USER ?ACCT)
            (accountAtSite ?ACCT ?SITE))))		 UXExperimentalTerms.kif 1070-1076


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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