TreeView Knowledge Base Browser

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 133-137
(subclass FacebookAccount SocialNetworkingAccount)	Facebook.kif 140-140	Facebook account is a subclass of social networking account

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?FBACCOUNT FacebookAccount)
        (hasAccount ?USER ?FBACCOUNT))
    (and
        (age ?USER
            (MeasureFn ?NUMBER YearDuration))
        (modalAttribute
            (not
                (greaterThanOrEqualTo ?NUMBER 13)) Prohibition)))

If X is an instance of Facebook account and Y has account X, then the age of Y is Z year duration(s) and the statement Z is not greater than or equal to 13 has the modal force of prohibition

consequent

(=>
    (instance ?USER FacebookUser)
    (exists (?ACCOUNT)
        (and
            (instance ?ACCOUNT FacebookAccount)
            (hasAccount ?USER ?ACCOUNT))))

If X is an instance of Facebook user, then there exists Y such that Y is an instance of Facebook account and X has account Y