Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SocialNetworkingSite
SocialNetworkingSitesocial_networking_site

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


(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 11-18
(subclass SocialNetworkingSite WebSite) Facebook.kif 20-20

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


(instance Facebook SocialNetworkingSite) Facebook.kif 121-121
(instance LinkedIn SocialNetworkingSite) LinkedInDegrees.kif 492-492
(termFormat EnglishLanguage SocialNetworkingSite "social networking site") Facebook.kif 21-21

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


(domain AccountOfServiceFn 1 SocialNetworkingSite) Facebook.kif 98-98

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


(=>
    (and
        (instance ?SITE SocialNetworkingSite)
        (instance ?ACCOUNT
            (AccountOfServiceFn ?SITE)))
    (exists (?USER)
        (and
            (instance ?USER SocialNetworkingUser)
            (hasAccount ?USER ?ACCOUNT))))
Facebook.kif 103-110

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))))
Facebook.kif 51-59


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