Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| StatusUpdate(status update) |
| appearance as argument number 1 |
|
| (documentation StatusUpdate EnglishLanguage "A status update is a form of microblogging that occurs on an instance of SocialNetworkingSite in which a SocialNetworkingUser states what they are currently doing. It usually a very brief sentence.") | Facebook.kif 212-215 | |
| (subclass StatusUpdate ContentDevelopment) | Facebook.kif 218-218 | Status update is a subclass of content development |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage StatusUpdate "status update") | Facebook.kif 217-217 |
| antecedent |
|
|
| (=> (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 223-232 | If ?UPDATE_EVENT is an instance of status update and Y is a result of ?UPDATE_EVENT, then there exist Z, W such that W is an instance of news feed, Z is an instance of profile wall, Y is located at Z, and Y is located at W |
| (=> (and (instance ?UPDATE_EVENT StatusUpdate) (agent ?UPDATE_EVENT ?WRITER) (result ?UPDATE_EVENT ?CONTENT)) (refers ?CONTENT ?WRITER)) |
Facebook.kif 237-242 | If ?UPDATE_EVENT is an instance of status update, Y is an agent of ?UPDATE_EVENT, and Z is a result of ?UPDATE_EVENT, then Z includes a reference to Y |
| (=> (instance ?STATUS_UPDATE StatusUpdate) (exists (?POST) (and (instance ?POST Posting) (result ?POST ?STATUS_UPDATE)))) |
Facebook.kif 247-252 | If ?STATUS_UPDATE is an instance of status update, then there exists Y such that Y is an instance of Posting and ?STATUS_UPDATE is a result of Y |
| (=> (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 |
| consequent |
|
|
| (=> (instance ?WALL ProfileWall) (exists (?STATUS) (and (instance ?STATUS StatusUpdate) (part ?STATUS ?WALL)))) |
Facebook.kif 191-196 | If X is an instance of profile wall, then there exists Y such that Y is an instance of status update and Y is a part of X |
|