SocialNetworkingSite - Sigma Knowledge base Browser

appearance as argument number 3

(domain AccountOfServiceFn 1 SocialNetworkingSite)

antecedent

(=>
    (and
        (instance ?SITE SocialNetworkingSite)
        (instance ?ACCOUNT
            (AccountOfServiceFn ?SITE)))
    (exists (?USER)
        (and
            (instance ?USER SocialNetworkingUser)
            (hasAccount ?USER ?ACCOUNT))))

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

(documentation SocialNetworkingSite EnglishLanguage "An instance of SocialNetworkingSite is a WebSite that focuses primarily on building and maintaining relationships between people. Facebook and LinkedIn are two popular examples of social networking sites. These sites consist of a representation of each user (usually maintained by a ProfilePage), his or her social links, and a variety of additional services. They often provide some medium for InstantMessaging and StatusUpdates.")	Facebook.kif 12-19
(subclass SocialNetworkingSite WebSite)	Facebook.kif 21-21	Social networking site is a subclass of web site

(instance TikTok SocialNetworkingSite)	ComputingBrands.kif 4490-4490	TikTok is an instance of social networking site
(termFormat EnglishLanguage SocialNetworkingSite "social networking site")	Facebook.kif 22-22	TikTok is an instance of social networking site
(instance Facebook SocialNetworkingSite)	Facebook.kif 131-131	Facebook is an instance of social networking site
(instance LinkedIn SocialNetworkingSite)	LinkedInDegrees.kif 469-469	LinkedIn is an instance of social networking site