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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FacebookAccount

Sigma KEE - FacebookAccount
FacebookAccountFacebook_account

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

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


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

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


(=>
    (instance ?USER FacebookUser)
    (exists (?ACCOUNT)
        (and
            (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