Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| NSFW(not safe for work) |
| appearance as argument number 1 |
|
| (instance NSFW ObjectiveNorm) | Medicine.kif 3019-3019 | Not safe for work is an instance of objective norm |
| (documentation NSFW EnglishLanguage "Some sort of messaging, such as a Facebook or Twitter post that if sent by an employee of an Organization and seen by another employee, would have some negative repercussions for the posting employee. Even intentionally Seeing such a post could have negative repercussions.") | Medicine.kif 3022-3026 | Not safe for work is an instance of objective norm |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NSFW "NSFW") | Medicine.kif 3020-3020 | |
| (termFormat EnglishLanguage NSFW "not safe for work") | Medicine.kif 3021-3021 |
| antecedent |
|
|
| (=> (and (employs ?ORG ?P) (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (agent ?D ?P) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?D ?PROC) (suffers ?PROC ?P))) Likely)) |
Medicine.kif 3028-3044 | If All of the following hold: (1) X employs Y (2) X employs Z (3) W is an instance of do network messaging (4) V is a result of W (5) not safe for work is an attribute of V (6) Y is an agent of W (7) U is an instance of seeing (8) V is a patient of U (9) Z is an agent of U, then the statement there exists T such that W causes T and Y suffers from T has the modal force of likely |
| (=> (and (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?S ?PROC) (suffers ?PROC ?CO))) Possibility)) |
Medicine.kif 3046-3060 | If All of the following hold: (1) X employs Y (2) Z is an instance of do network messaging (3) W is a result of Z (4) not safe for work is an attribute of W (5) V is an instance of seeing (6) W is a patient of V (7) Y is an agent of V, then the statement there exists U such that V causes U and Y suffers from U has the modal force of possibility |
|