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 2044-2045
(domain hasAccount 1 ComputerUser) QoSontology.kif 2042-2042
(domain hasAccount 2 UserAccount) QoSontology.kif 2043-2043
(instance hasAccount AsymmetricRelation) QoSontology.kif 2041-2041
(subrelation hasAccount possesses) QoSontology.kif 2040-2040

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


(format EnglishLanguage hasAccount "%1 has account %2") domainEnglishFormat.kif 910-910
(termFormat EnglishLanguage hasAccount "has account") domainEnglishFormat.kif 5004-5004

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


(=>
    (and
        (accountAtSite ?ACCOUNT ?SITE)
        (hasAccount ?USER ?ACCOUNT))
    (registeredUser ?USER ?SITE))
UXExperimentalTerms.kif 1077-1081
(=>
    (and
        (instance ?ACCOUNT UserAccount)
        (attribute ?ACCOUNT BusinessAccount)
        (hasAccount ?USER ?ACCOUNT))
    (instance ?USER Business))
UXExperimentalTerms.kif 822-827
(=>
    (and
        (instance ?FBACCOUNT FacebookAccount)
        (hasAccount ?USER ?FBACCOUNT))
    (and
        (age ?USER
            (MeasureFn ?NUMBER YearDuration))
        (modalAttribute
            (not
                (greaterThanOrEqualTo ?NUMBER 13)) Prohibition)))
Facebook.kif 132-140
(=>
    (and
        (instance ?LIACCOUNT LinkedInAccount)
        (hasAccount ?USER ?LIACCOUNT))
    (and
        (age ?USER
            (MeasureFn ?NUMBER YearDuration))
        (modalAttribute
            (not
                (greaterThanOrEqualTo ?NUMBER 18)) Prohibition)))
LinkedInDegrees.kif 503-511
(=>
    (and
        (userIDString ?STRING ?ACCOUNT)
        (hasAccount ?USER ?ACCOUNT))
    (represents ?STRING ?USER))
UXExperimentalTerms.kif 1296-1300
(=>
    (hasAccount ?User ?Account)
    (exists (?Name)
        (userName ?User ?Name)))
QoSontology.kif 2023-2026
(=>
    (hasAccount ?User ?Account)
    (exists (?Password)
        (password ?Password ?User)))
QoSontology.kif 2054-2057

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


(=>
    (and
        (instance ?SITE SocialNetworkingSite)
        (instance ?ACCOUNT
            (AccountOfServiceFn ?SITE)))
    (exists (?USER)
        (and
            (instance ?USER SocialNetworkingUser)
            (hasAccount ?USER ?ACCOUNT))))
Facebook.kif 103-110
(=>
    (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 ?ACCOUNT1 BusinessAccount)
            (attribute ?ACCOUNT2 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
(=>
    (connectedInSocialNetwork ?USER1 ?USER2)
    (exists (?ACCOUNT1 ?ACCOUNT2 ?SITE)
        (and
            (instance ?SITE SocialNetworkingSite)
            (instance ?ACCOUNT1
                (AccountOfServiceFn ?SITE))
            (instance ?ACCOUNT2
                (AccountOfServiceFn ?SITE))
            (hasAccount ?USER1 ?ACCOUNT1)
            (hasAccount ?USER2 ?ACCOUNT2))))
Facebook.kif 51-59
(=>
    (instance ?Account UserAccount)
    (exists (?User)
        (hasAccount ?User ?Account)))
QoSontology.kif 2012-2015
(=>
    (instance ?USER FacebookUser)
    (exists (?ACCOUNT)
        (and
            (instance ?ACCOUNT FacebookAccount)
            (hasAccount ?USER ?ACCOUNT))))
Facebook.kif 330-335
(=>
    (instance ?USER SocialNetworkingUser)
    (exists (?ACCOUNT)
        (and
            (instance ?ACCOUNT SocialNetworkingAccount)
            (hasAccount ?USER ?ACCOUNT))))
Facebook.kif 85-90
(=>
    (registeredUser ?USER ?SITE)
    (exists (?ACCT)
        (and
            (instance ?ACCT UserAccount)
            (hasAccount ?USER ?ACCT)
            (accountAtSite ?ACCT ?SITE))))
UXExperimentalTerms.kif 1069-1075


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners