TreeView Knowledge Base Browser

appearance as argument number 1

(documentation LinkedInAccount EnglishLanguage "This refers to a UserAccount that is specific to LinkedIn. In order to have a LinkedIn account, one must be over 18 years of age. A LinkedIn account allows the user to form a profile, gain connections, and participate in conversations and activities, among other things.")	LinkedInDegrees.kif 471-475
(subclass LinkedInAccount SocialNetworkingAccount)	LinkedInDegrees.kif 478-478	LinkedIn account is a subclass of social networking account

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?LIACCOUNT LinkedInAccount)
        (hasAccount ?USER ?LIACCOUNT))
    (and
        (age ?USER
            (MeasureFn ?NUMBER YearDuration))
        (modalAttribute
            (not
                (greaterThanOrEqualTo ?NUMBER 18)) Prohibition)))

If X is an instance of LinkedIn 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 18 has the modal force of prohibition