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

KB Term:  Term intersection
English Word: 

Sigma KEE - AccountOfServiceFn
AccountOfServiceFn

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


(documentation AccountOfServiceFn EnglishLanguage "This function takes some SocialNetworkingSite as an argument and returns a subclass of SocialNetworkingAccount. (AccountOfServiceFn Network) represents the class of accounts held with Network. For instance, (equals FacebookAccount (AccountOfServiceFn Facebook)).") Facebook.kif 101-105
(domain AccountOfServiceFn 1 SocialNetworkingSite) Facebook.kif 107-107 The number 1 argument of account of service of is an instance of social networking site
(rangeSubclass AccountOfServiceFn SocialNetworkingAccount) Facebook.kif 108-108 The values returned by account of service of are subclasses of social networking account
(instance AccountOfServiceFn UnaryFunction) Facebook.kif 109-109 Account of service of is an instance of unary function

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


(termFormat EnglishLanguage AccountOfServiceFn "account of service of") domainEnglishFormat.kif 64404-64404

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


(=>
    (and
        (instance ?SITE SocialNetworkingSite)
        (instance ?ACCOUNT
            (AccountOfServiceFn ?SITE)))
    (exists (?USER)
        (and
            (instance ?USER SocialNetworkingUser)
            (hasAccount ?USER ?ACCOUNT))))		 Facebook.kif 112-119 If X is an instance of social networking site and Y is an instance of account of service of X, then there exists Z such that Z is an instance of social networking user and Z has account Y

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


(=>
    (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)
            (not
                (equal ?ACCOUNT1 ?ACCOUNT2)))))		 Facebook.kif 47-57 If connected in social network X and Y, then All of the following hold: (1) there exist Z, W (2) V such that V is an instance of social networking site (3) Z is an instance of account of service of V (4) W is an instance of account of service of V (5) X has account Z (6) Y has account W (7) equal Z (8) W
(=>
    (instance ?USER SocialNetworkingUser)
    (exists (?SITE ?ACCOUNT)
        (and
            (instance ?SITE SocialNetworkingSite)
            (instance ?ACCOUNT
                (AccountOfServiceFn ?SITE))
            (hasAccount ?USER ?ACCOUNT))))		 Facebook.kif 93-99 If X is an instance of social networking user, then there exist Y, Z such that Y is an instance of social networking site, Z is an instance of account of service of Y, and X has account 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners