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


KB Term:  Term intersection
English Word: 

Sigma KEE - connectedInSocialNetwork
connectedInSocialNetwork

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


(documentation connectedInSocialNetwork EnglishLanguage "This refers to a connection made between two distinct people who have SocialNetworkingAccounts on the same SocialNetworkingSite. Some examples would be facebookFriends, classmates, colleagues, and followers. Note that connections can be symmetrical (e.g. facebookFriend or asymmetrical (e.g. follower). Therefore, this is neither a SymmetricRelation nor an AntisymmetricRelation.") Facebook.kif 31-37
(instance connectedInSocialNetwork BinaryPredicate) Facebook.kif 39-39 connected in social network is an instance of binary predicate
(instance connectedInSocialNetwork IntentionalRelation) Facebook.kif 40-40 connected in social network is an instance of intentional relation
(instance connectedInSocialNetwork IrreflexiveRelation) Facebook.kif 41-41 connected in social network is an instance of irreflexive relation
(subrelation connectedInSocialNetwork inScopeOfInterest) Facebook.kif 42-42 connected in social network is a subrelation of in scope of interest
(domain connectedInSocialNetwork 1 SocialNetworkingUser) Facebook.kif 43-43 The number 1 argument of connected in social network is an instance of social networking user
(domain connectedInSocialNetwork 2 SocialNetworkingUser) Facebook.kif 44-44 The number 2 argument of connected in social network is an instance of social networking user

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


(termFormat EnglishLanguage connectedInSocialNetwork "connected in social network") Facebook.kif 45-45
(subrelation follows connectedInSocialNetwork) Facebook.kif 67-67 follow is a subrelation of connected in social network
(subrelation facebookFriend connectedInSocialNetwork) Facebook.kif 356-356 Facebook friend is a subrelation of connected in social network

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


(=>
    (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

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


(=>
    (and
        (instance ?USER1 SocialNetworkingUser)
        (birthday ?USER1 ?CLASS)
        (instance ?DAY ?CLASS)
        (instance ?AUTONOTIFY AutomatedNotificationSystem)
        (agent ?PROCESS ?AUTONOTIFY)
        (result ?PROCESS ?BIRTHDAYNOTIFICATION)
        (instance ?BIRTHDAYNOTIFICATION BirthdayNotification)
        (represents ?BIRTHDAYNOTIFICATION ?USER1))
    (holdsDuring ?DAY
        (forall (?USER2)
            (=>
                (and
                    (instance ?USER2 SocialNetworkingUser)
                    (connectedInSocialNetwork ?USER1 ?USER2))
                (destination ?PROCESS ?USER2)))))		 Facebook.kif 723-739 If All of the following hold: (1) X is an instance of social networking user (2) X's birthday is Y (3) Z is an instance of Y (4) W is an instance of automated notification system (5) W is an agent of V (6) U is a result of V (7) U is an instance of birthday notification (8) U expresses X, then For all Entity T: if T is an instance of social networking user and connected in social network X and T, then V ends up at T


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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners