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


KB Term:  Term intersection
English Word: 

  ArabFundForEconomicAndSocialDevelopment

 Sigma KEE - SocialNetworkingUser
SocialNetworkingUser(social networking user)

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


(documentation SocialNetworkingUser EnglishLanguage "A SocialNetworkingUser is an InternetUser who has a SocialNetworkingAccount on a SocialNetworkingSite. When someone becomes a social networking user, they are usually asked to make a ProfilePage and, over time, they create SocialNetworkingConnections.") Facebook.kif 83-88
(subAttribute SocialNetworkingUser InternetUser) Facebook.kif 90-90 Social networking user is a subattribute of internet user

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


(termFormat EnglishLanguage SocialNetworkingUser "social networking user") Facebook.kif 91-91
(subAttribute FacebookUser SocialNetworkingUser) Facebook.kif 332-332 Facebook user is a subattribute of social networking user

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


(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
(domain follows 1 SocialNetworkingUser) Facebook.kif 68-68 The number 1 argument of follow is an instance of social networking user
(domain follows 2 SocialNetworkingUser) Facebook.kif 69-69 The number 2 argument of follow is an instance of social networking user

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


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

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


(=>
    (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
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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