Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RecentActivity(recent activity) |
| appearance as argument number 1 |
|
| (documentation RecentActivity EnglishLanguage "'Recent activity' is a term used on facebook to describe someone's recent facebook activity. This includes every action made by the user except for StatusUpdates.") | Facebook.kif 303-306 | |
| (subclass RecentActivity UserAction) | Facebook.kif 308-308 | Recent activity is a subclass of user action |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RecentActivity "recent activity") | Facebook.kif 307-307 |
| consequent |
|
|
| (=> (instance ?WALL ProfileWall) (exists (?RECENTACTIVITY) (and (instance ?RECENTACTIVITY RecentActivity) (part ?RECENTACTIVITY ?WALL)))) |
Facebook.kif 205-210 | If X is an instance of profile wall, then there exists Y such that Y is an instance of recent activity and Y is a part of X |
| (=> (and (instance ?USER InternetUser) (instance ?ACTION IntentionalProcess) (agent ?ACTION ?USER) (patient ?ACTION Facebook) (not (and (instance ?STATUS StatusUpdate) (result ?ACTION ?STATUS)))) (result ?ACTION RecentActivity)) |
Facebook.kif 312-322 | If X is an instance of internet user, Y is an instance of intentional process, X is an agent of Y, Facebook is a patient of Y, and ~{ Z is an instance of status update } or ~{ Z is a result of Y }, then recent activity is a result of Y |
|