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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProfileWall
ProfileWall

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


(documentation ProfileWall EnglishLanguage "This term refers specifically to the area on a ProfilePage where people communicate with each other. It is a Collection of StatusUpdates and WallPosts, and RecentActivity.") Facebook.kif 164-167
(subclass ProfileWall Document) Facebook.kif 170-170

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


(termFormat EnglishLanguage ProfileWall "profile wall") Facebook.kif 169-169

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


(=>
    (instance ?WALL ProfileWall)
    (exists (?RECENTACTIVITY)
        (and
            (instance ?RECENTACTIVITY RecentActivity)
            (part ?RECENTACTIVITY ?WALL))))
Facebook.kif 198-203
(=>
    (instance ?WALL ProfileWall)
    (exists (?STATUS)
        (and
            (instance ?STATUS StatusUpdate)
            (part ?STATUS ?WALL))))
Facebook.kif 184-189
(=>
    (instance ?WALL ProfileWall)
    (exists (?WALLPOST)
        (and
            (instance ?WALLPOST WallPost)
            (part ?WALLPOST ?WALL))))
Facebook.kif 191-196

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


(=>
    (and
        (instance ?UPDATE_EVENT StatusUpdate)
        (result ?UPDATE_EVENT ?CONTENT))
    (exists (?WALL ?NEWSFEED)
        (and
            (instance ?NEWSFEED NewsFeed)
            (instance ?WALL ProfileWall)
            (located ?CONTENT ?WALL)
            (located ?CONTENT ?NEWSFEED))))
Facebook.kif 224-233
(=>
    (instance ?PROFILEPAGE ProfilePage)
    (exists (?PROFILEWALL)
        (and
            (instance ?PROFILEWALL ProfileWall)
            (part ?PROFILEWALL ?PROFILEPAGE))))
Facebook.kif 174-179
(=>
    (instance ?WALLPOST WallPost)
    (exists (?USER1 ?USER2 ?CREATION ?PROFILEWALL)
        (and
            (instance ?PROFILEWALL ProfileWall)
            (instance ?USER1 FacebookUser)
            (instance ?USER2 FacebookUser)
            (instance ?CREATION Creation)
            (refers ?PROFILEWALL ?USER2)
            (agent ?CREATION ?USER1)
            (result ?CREATION ?WALLPOST)
            (located ?WALLPOST ?PROFILEWALL)
            (not
                (equal ?USER1 ?USER2)))))
Facebook.kif 267-280


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