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


KB Term:  Term intersection
English Word: 

Sigma KEE - UserAccount
UserAccount(user account)

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


(subclass UserAccount Account) ComputingBrands.kif 4448-4448 User account is a subclass of account
(subclass UserAccount ContentBearingObject) QoSontology.kif 2166-2166 User account is a subclass of content bearing object
(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 2167-2169 User account is a subclass of content bearing object
(externalImage UserAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash_account_summary.png") pictureList.kif 10326-10326 User account is a subclass of content bearing object

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


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

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


(domain deviceAccount 1 UserAccount) ComputingBrands.kif 3856-3856 The number 1 argument of device account is an instance of user account
(domain accountPhoneNumber 1 UserAccount) ComputingBrands.kif 4063-4063 The number 1 argument of account phone number is an instance of user account
(domain accountUsed 2 UserAccount) ComputingBrands.kif 4068-4068 The number 2 argument of account used is an instance of user account
(domain trustedDevice 1 UserAccount) ComputingBrands.kif 4191-4191 The number 1 argument of trusted device is an instance of user account
(domain loggedInDuring 2 UserAccount) ComputingBrands.kif 4236-4236 The number 2 argument of logged_in during is an instance of user account
(domain accountInformation 1 UserAccount) ComputingBrands.kif 4317-4317 The number 1 argument of account information is an instance of user account
(domain recoveryKey 2 UserAccount) ComputingBrands.kif 4327-4327 The number 2 argument of recovery key is an instance of user account
(domain userName 1 UserAccount) QoSontology.kif 2191-2191 The number 1 argument of user name is an instance of user account
(domain hasAccount 2 UserAccount) QoSontology.kif 2203-2203 The number 2 argument of has account is an instance of user account
(domain password 2 UserAccount) QoSontology.kif 2230-2230 The number 2 argument of password is an instance of user account
(domain accountAtSite 1 UserAccount) UXExperimentalTerms.kif 626-626 The number 1 argument of account at site is an instance of user account
(domain userFeedbackScore 1 UserAccount) UXExperimentalTerms.kif 710-710 The number 1 argument of user feedback score is an instance of user account
(domain userIDString 2 UserAccount) UXExperimentalTerms.kif 1091-1091 The number 2 argument of user identifier string is an instance of user account

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 4388-4397 If X is an instance of activating a deactivated account, Y is an instance of user account, and Y is a patient of X, then account deactivated is an attribute of Y holds during immediately before the time of existence of X and account active is an attribute of Y holds during immediately after the time of existence of X
(=>
    (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 4404-4413 If X is an instance of de_activating an account, Y is an instance of user account, and Y is a patient of X, then account deactivated is an attribute of Y holds during immediately after the time of existence of X and account active is an attribute of Y holds during immediately before the time of existence of X
(=>
    (instance ?Account UserAccount)
    (exists (?User)
        (hasAccount ?User ?Account)))		 QoSontology.kif 2171-2174 If X is an instance of user account, then there exists Y such that Y has account X
(=>
    (and
        (instance ?ACCOUNT UserAccount)
        (attribute ?ACCOUNT BusinessAccount)
        (hasAccount ?USER ?ACCOUNT))
    (instance ?USER Business))		 UXExperimentalTerms.kif 660-665 If X is an instance of user account, business account is an attribute of X, and Y has account X, then Y is an instance of business
(=>
    (instance ?ACCOUNT UserAccount)
    (exists (?STRING)
        (and
            (instance ?STRING Identifier)
            (userIDString ?STRING ?ACCOUNT))))		 UXExperimentalTerms.kif 1105-1110 If X is an instance of user account, then there exists Y such that Y is an instance of identifier and the ID for X is Y

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


(=>
    (and
        (attribute ?ACCT ?ATTR)
        (instance ?ATTR AccountAttribute))
    (instance ?ACCT UserAccount))		 UXExperimentalTerms.kif 648-652 If X is an attribute of Y and X is an instance of account attribute, then Y is an instance of user account
(=>
    (registeredUser ?USER ?SITE)
    (exists (?ACCT)
        (and
            (instance ?ACCT UserAccount)
            (hasAccount ?USER ?ACCT)
            (accountAtSite ?ACCT ?SITE))))		 UXExperimentalTerms.kif 873-879 If X is a registered user of Y, then there exists Z such that Z is an instance of user account, X has account Z, and Z is an account at Y
(=>
    (userIDString ?STRING ?ACCOUNT)
    (modalAttribute
        (not
            (exists (?ACCOUNT2)
                (and
                    (instance ?ACCOUNT2 UserAccount)
                    (userIDString ?STRING ?ACCOUNT2)))) Likely))		 UXExperimentalTerms.kif 1112-1120 If the ID for X is Y, then the statement there doesn't exist Z such that Z is an instance of user account and the ID for Z is Y has the modal force of likely
(=>
    (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 1727-1746 If X is an instance of financial transaction and business to business transaction is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of user account (3) Z is an instance of user account (4) W is an instance of agent (5) V is an instance of agent (6) U is an instance of web site (7) W is an agent of X (8) X ends up at V (9) U is an instrument for X (10) W has account Y (11) V has account Z (12) Y is an account at U (13) Z is an account at U (14) business account is an attribute of Y (15) business account is an attribute of Z
(=>
    (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 1759-1778 If X is an instance of financial transaction and business to consumer transaction is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of user account (3) Z is an instance of user account (4) W is an instance of agent (5) V is an instance of agent (6) U is an instance of web site (7) W is an agent of X (8) X ends up at V (9) U is an instrument for X (10) W has account Y (11) V has account Z (12) Y is an account at U (13) Z is an account at U (14) business account is an attribute of Y (15) consumer account is an attribute of Z
(=>
    (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 1791-1810 If X is an instance of financial transaction and consumer to consumer transaction is an attribute of X, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of user account (3) Z is an instance of user account (4) W is an instance of agent (5) V is an instance of agent (6) U is an instance of web site (7) W is an agent of X (8) X ends up at V (9) U is an instrument for X (10) W has account Y (11) V has account Z (12) Y is an account at U (13) Z is an account at U (14) consumer account is an attribute of Y (15) consumer account is an attribute of Z


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