Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TextWallPost(text wall post) |
| appearance as argument number 1 |
|
| (documentation TextWallPost EnglishLanguage "This is a term that refers specifically to a WallPost that is made up entirely of Words.") | Facebook.kif 296-298 | |
| (subclass TextWallPost WrittenCommunication) | Facebook.kif 300-300 | Text wall post is a subclass of written communication |
| (subclass TextWallPost WallPost) | Facebook.kif 301-301 | Text wall post is a subclass of wall post |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TextWallPost "text wall post") | Facebook.kif 299-299 |
| consequent |
|
|
| (=> (instance ?WALLPOST WallPost) (or (instance ?WALLPOST TextWallPost) (instance ?WALLPOST MotionPicture) (instance ?WALLPOST Photograph))) |
Facebook.kif 282-287 | If X is an instance of wall post, then At least one of the following holds: (1) X is an instance of text wall post (2) X is an instance of motion picture (3) X is an instance of photograph |
|