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 3010-3026	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 3028-3042	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

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 3.0 is open source software produced by Articulate Software and its partners