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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - FacebookAccount

appearance as argument number 1

(documentation FacebookAccount EnglishLanguage "This refers to a UserAccount that is specific to Facebook. In order to have a Facebook account, one must be over 13 years of age. A Facebook account allows the user to make a ProfilePage, gain facebookFriends, and participate in conversations and activities, among other things.") Facebook.kif 123-126
(subclass FacebookAccount SocialNetworkingAccount) Facebook.kif 129-129

appearance as argument number 2

(termFormat EnglishLanguage FacebookAccount "Facebook account") Facebook.kif 128-128


        (instance ?FBACCOUNT FacebookAccount)
        (hasAccount ?USER ?FBACCOUNT))
        (age ?USER
            (MeasureFn ?NUMBER YearDuration))
                (greaterThanOrEqualTo ?NUMBER 13)) Prohibition)))
Facebook.kif 132-140


    (instance ?USER FacebookUser)
    (exists (?ACCOUNT)
            (instance ?ACCOUNT FacebookAccount)
            (hasAccount ?USER ?ACCOUNT))))
Facebook.kif 330-335

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners